一种基于场景模型的安全性分析方法 

本发明提出了一种基于场景模型的安全性分析方法,包括以下步骤:矛盾检测;修改和求精,获得一致的UML时序图描述;区分UML时序图中对象的并发行为序列与顺序行为序列;生成相应的有穷状态机模型;在LTSA中对系统的有穷状态机模型进行功能模拟,检测其功能行为是否满足系统的功能需求,若满足,则...
佛山市极加互动科技有限公司  中国专利  2018年 下载次数(0)| 被引次数(0)