首页> 中文会议>河南省计算机学会2008年学术年会 >基于SVO逻辑的协议自动化分析器

基于SVO逻辑的协议自动化分析器

页面导航

摘要
著录项
相似文献
相关主题

摘要

设计并实现了基于SVO逻辑的安全协议自动化分析器，能够分析协议的认证性、不可否认性等安全属性。实验表明，该自动化分析器可以准确、快速地自动分析安全协议是否达到设计安全目标。

著录项

来源
《河南省计算机学会2008年学术年会》|2008年|55-59|共5页
会议地点洛阳
作者
任瑞; 张浩军;
展开▼
作者单位

河南省计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类程序设计;
关键词
协议自动化分析器; SVO逻辑; 安全属性; 设计目标;

相似文献

中文文献
外文文献
专利

1. 基于SVO逻辑的SNMP协议的改进及形式化分析 [J] . 周鹏 ,林华 . 湖南科技学院学报 . 2011,第008期
2. 基于SVO逻辑的3G AKA协议形式化分析 [J] . 周鹏 ,杨世平 ,时翠梅 . 电脑知识与技术 . 2008,第0z2期
3. 基于改进语义SVO逻辑的二维认证协议分析 [J] . 黄翰陞 ,贺前华 ,江瑾 . 计算机应用 . 2007,第012期
4. 基于扩展SVO逻辑的身份认证协议在军事通信中的应用 [J] . 王荣 ,周兰江 . 福建电脑 . 2007,第008期
5. 基于SVO逻辑的公钥协议进化生成 [J] . 毛晨晓 ,罗文坚 ,曹先彬 . 系统工程与电子技术 . 2006,第003期
6. 基于SVO逻辑的电子商务协议非否认性形式化分析 [C] . Cui Nan ,崔楠 ,Wang Xueming . 第四届全国逻辑系统、智能科学与信息科学学术会议 . 2008
7. 基于SVO逻辑的网络安全协议形式化分析 [A] . 周鹏 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号