为了能高效地利用模型检测技术对安全协议进行分析与验证，提高工作效率，提出了一种适用范围广，自动化程度及验证效率均较高的建模算法。开发了一个基于该建模算法“网络安全协议验证模型生成系统”，该系统可高效地对安全协议进行分析与验证，系统在对攻击者建模时采用偏序规约、语法重定序及类型检查等优化策略以提高验证效率，有效地缓解了模型检测过程中的状态爆炸问题。
2022-12-27 20:46:57
892KB
1
针对语义组合Web服务的验证问题,研究了模型验证相关技术、统一模型语言(UML),提出了基于模型驱动架构(MDA)的组合方法.该方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模,实现了语义组合Web服务的UML描述,然后将该描述转换为Promela语言代码,在Promela代码之后增加LTL的声明,使用SPIN工具进行正确性、安全性和活性验证.该模型保证了组合过程的正确性.
2021-02-23 14:04:04
225KB
1