论文研究-安全协议验证模型的高效自动生成.pdf
为了能高效地利用模型检测技术对安全协议进行分析与验证，提高工作效率，提出了一种适用范围广，自动化程度及验证效率均较高的建模算法。开发了一个基于该建模算法“网络安全协议验证模型生成系统”，该系统可高效地对安全协议进行分析与验证，系统在对攻击者建模时采用偏序规约、语法重定序及类型检查等优化策略以提高验证效率，有效地缓解了模型检测过程中的状态爆炸问题。
文件下载
评论信息
其他资源
- 酒店管理系统（基于Qt Creator5)
- 空间谱估计理论与算法------程序.rar
- 鼠标宏压枪
- Image-Processing-Toolbox & isrgb,isind,isbw
- 数据库课程设计宾馆管理系统
- 编译原理课程设计.docx
- STM32F103ZET6-TFTLCD显示二维码
- 机器学习scikit-learn 库
- 商品管理系统python
- Python代码 - 生成拉格朗日插值函数随插值点数量变化的gif动图
- 黑马程序员2018python爬虫课件完整版
- E3372h-607_Update_22.200.09.00.00_M_AT_04
- curveshadding matlab中画阴影区域
- 各类耦合场分析实例及命令流
- 英文教练DNS Infoblox(2/2)英文教练DNS Infoblox.txt
- 很不错gisAdd-In开发.7z
- 【精品】城市云数据大屏.pptx
- 新能源汽车介绍.pptx
- IF-ELSE条件语句的翻译程序设计（递归下降法、输出三地址表示）
- 深信服2017IPSEC&WOC;渠道初级认证考卷_A卷-76分及格
- JSP_员工绩效考核管理系统
- AJAX实现网页即时聊天（PHP版WEBQQ）
- OpenCV1.1版
- tesseract3.02 vs2012 工程源码
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明