[发明专利]一种通讯软件的安全性的自动化验证方法有效
| 申请号： | 202110653403.6 | 申请日： | 2021-06-11 |
| 公开（公告）号： | CN113449151B | 公开（公告）日： | 2022-09-20 |
| 发明（设计）人： | 付玉龙;沈啸;刘辰吴;李晖 | 申请（专利权）人： | 西安电子科技大学 |
| 主分类号： | G06F16/901 | 分类号： | G06F16/901;G06F16/81;G06F8/41 |
| 代理公司： | 西安赛嘉知识产权代理事务所(普通合伙) 61275 | 代理人： | 王伟超 |
| 地址： | 710126 陕西省西安市长*** | 国省代码： | 陕西;61 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供了一种通信软件安全性的自动化验证方法，包括如下步骤：步骤1、获得对应软件函数调用关系图并导出对应的HTML和XML文件；步骤2、根据导出的HTML和XML文件分析获得待验证的通讯软件的入口和出口函数；步骤3、建立通讯软件的执行链表；步骤4、以此建立状态机模型；步骤5编写基于SPIN脚本的安全性验证模型；步骤6、将安全性验证模型通过模型检测工具进行分析，生成通讯软件的流程模型，比较通讯软件的设计流程与生成的流程模型，完成一致性验证。该通讯软件的安全性的自动化验证方法，不需要纯人为分析建模等，从而实现自动化的效果，而且提高对通讯软件分析的准确性和一致性；提高了效率节省了人工成本。 | ||
| 搜索关键词： | 一种 通讯 软件 安全性 自动化 验证 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于西安电子科技大学，未经西安电子科技大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202110653403.6/，转载请声明来源钻瓜专利网。
