收藏本站
《第十一届保密通信与信息安全现状研讨会论文集》2009年
收藏 | 手机打开
二维码
手机客户端打开本文

怎样用好AVISPA工具

徐梦茗  李斌  肖聪  
【摘要】:AVISPA安全协议分析工具是一套完整、标准的形式化自动分析工具;结合XEmacs模式能够设置更加直观而简便的操作和编译环境,对安全协议进行分析并得出结论。

手机知网App
【参考文献】
中国期刊全文数据库 前1条
1 卿斯汉;安全协议20年研究进展[J];软件学报;2003年10期
【共引文献】
中国期刊全文数据库 前10条
1 袁满;杨恒涛;秦中国;姜丽娟;郭玲玲;;移动增值服务平台架构及相关技术[J];大庆石油学院学报;2006年05期
2 代印唐;张世永;;即时通信安全研究[J];电信科学;2006年04期
3 陶志红,Hans KleineBuing,张世琨,王立福;Dining Cryptographer安全协议及工程分析[J];电子学报;2005年02期
4 卫剑钒,陈钟,段云所,王立福;一种认证协议防御拒绝服务攻击的设计方法[J];电子学报;2005年02期
5 费向东;潘郁;;公钥密码体制下协议设计的安全准则及一种网络审批协议[J];电子政务;2005年22期
6 李英杰;;中小企业网络安全现状剖析及解决方法[J];福建电脑;2006年12期
7 卿斯汉 ,李改成;公平交换协议的一个形式化模型[J];中国科学E辑;2005年02期
8 孙永全;王玉林;张颖;;基于有限域上遍历矩阵的零知识身份证明[J];长春工业大学学报(自然科学版);2006年02期
9 石曙东,李之棠;一种新型的电子商务协议及形式化分析[J];计算机工程与应用;2004年36期
10 王英龙,王继志,王美琴,高振明;一种Adhoc网络路由协议安全性分析方法[J];计算机工程与应用;2005年23期
中国重要会议论文全文数据库 前2条
1 张兆心;方滨兴;张宏莉;;基于BAN逻辑的SIP网络中认证协议安全性分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
2 胡远锋;;数字签名原理浅析及其在网上银行的应用[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
中国博士学位论文全文数据库 前10条
1 周永彬;PKI理论与应用技术研究[D];中国科学院研究生院(软件研究所);2004年
2 朱建明;无线网络安全方法与技术研究[D];西安电子科技大学;2004年
3 李梦君;安全协议形式化验证技术的研究与实现[D];国防科学技术大学;2005年
4 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
5 王强华;基于公共信道信令模型的网格体系结构研究[D];西北大学;2006年
6 文静华;电子商务协议形式化方法及模型检测技术的研究与应用[D];贵州大学;2006年
7 华东明;安全协议的形式化方法及其应用的研究[D];中国科学院研究生院(计算技术研究所);2005年
8 余斌霄;无线网络的安全性[D];西安电子科技大学;2006年
9 王文奇;入侵检测与安全防御协同控制研究[D];西北工业大学;2006年
10 李兴华;无线网络中认证及密钥协商协议的研究[D];西安电子科技大学;2006年
中国硕士学位论文全文数据库 前10条
1 陈铁明;复杂安全协议的形式化分析、设计与验证研究[D];浙江工业大学;2004年
2 李大科;手机银行安全协议设计与分析研究[D];河海大学;2004年
3 王昌晶;信息安全若干关键技术的研究与应用[D];江西师范大学;2004年
4 李艳平;不可否认协议及其应用的研究[D];陕西师范大学;2004年
5 刘明;iPMX下TCP的设计与安全实现[D];南京理工大学;2004年
6 彭红艳;电子邮件抗抵赖的研究与实现[D];广西师范大学;2004年
7 李晓阳;分布式系统中RBAC的设计与实现[D];中国科学院研究生院(软件研究所);2005年
8 邓珍荣;基于串空间模型的协议验证技术研究[D];广西大学;2005年
9 吴瑞龙;一种基于有色Petri网模型的安全协议检测技术的研究[D];广西大学;2005年
10 黄春莲;基于DSP芯片的PCI加密卡的设计与实现[D];西南交通大学;2005年
【二级参考文献】
中国期刊全文数据库 前3条
1 周典萃 ,卿斯汉 ,周展飞;一种分析电子商务协议的新工具[J];软件学报;2001年09期
2 卿斯汉;安全协议的设计与逻辑分析[J];软件学报;2003年07期
3 卿斯汉;安全协议20年研究进展[J];软件学报;2003年10期
中国博士学位论文全文数据库 前1条
1 华东明;安全协议的形式化方法及其应用的研究[D];中国科学院研究生院(计算技术研究所);2005年
【相似文献】
中国期刊全文数据库 前10条
1 熊宛星;薛开平;洪佩琳;麻常莎;;基于二维区间Hash链的RFID安全协议[J];中国科学技术大学学报;2011年07期
2 胡千;景凤宣;谢晓尧;;基于CA的移动终端安全支付系统的研究与设计[J];贵州师范大学学报(自然科学版);2011年03期
3 张慧;赵有健;;安全协议中防御拒绝服务攻击的请求成功率保证算法[J];小型微型计算机系统;2011年06期
4 周倜;李梦君;李舟军;;安全协议逻辑程序不停机性快速预测的动态方法[J];计算机学报;2011年07期
5 顾翔;张臻;邱建林;;无线安全协议设计方法研究[J];计算机科学;2011年09期
6 李志全;王猛;苑苗苗;;基于Hash函数的RFID安全认证协议研究[J];电脑开发与应用;2011年07期
7 董学文;牛文生;马建峰;盛立杰;;Ad-hoc路由协议的串空间安全性扩展[J];计算机科学;2011年07期
8 陈冠胜;;移动办公安全技术分析及比较[J];中国电力企业管理;2009年30期
9 杨元原;马文平;刘维博;白晓峰;;一种可检测类型缺陷攻击的SAT改进模型[J];沈阳工业大学学报;2011年04期
10 赵书峰;黄刘生;;计算两相交圆精确面积的安全协议[J];微电子学与计算机;2011年07期
中国重要会议论文全文数据库 前10条
1 徐梦茗;李斌;肖聪;;怎样用好AVISPA工具[A];第十一届保密通信与信息安全现状研讨会论文集[C];2009年
2 侯红霞;;信息安全专业“安全协议”课程的教改探讨[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
3 冯荷飞;曹子宁;;交错时序认知逻辑在安全协议中的应用[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
4 王聪;王智学;;基于UML2.0的安全协议建模方法[A];江苏省系统工程学会第十一届学术年会论文集[C];2009年
5 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
6 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
7 顾永跟;傅育熙;朱涵;吕银华;;基于进程演算的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
8 康松;王勋华;;门卫安全协议 一种简单的适用于公共数据网的安全协议[A];第十一届全国计算机安全技术交流会论文集[C];1996年
9 刘家芬;周明天;;对安全协议重放攻击的分类研究(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)[C];2006年
10 周东清;李燕;苏庆福;;一种基于层次型拓扑结构的无线传感器网络安全协议的设计[A];第二十一次全国计算机安全学术交流会论文集[C];2006年
中国重要报纸全文数据库 前10条
1 潘家永;春游的“安全协议”是否有效?[N];解放日报;2003年
2 潘家永;这种春游“安全协议”是否有效[N];民主与法制时报;2004年
3 潘家永;春游“安全协议”无效[N];经济参考报;2004年
4 曾铭;3-D安全协议 创造“三赢”电子交易[N];中国电子报;2004年
5 王乐民;中美签署药械安全协议[N];健康报;2007年
6 记者 舒玮;“安全协议”是学校的“挡箭牌”吗?[N];雅安日报;2008年
7 ;春游“安全协议”合法吗[N];中国妇女报;2003年
8 葛怀宇;美伊安全协议难产[N];工人日报;2008年
9 律师潘家永;“安全协议”是学校的尚方宝剑吗[N];北京日报;2003年
10 于毅;美伊长期安全协议是一剂良药吗?[N];光明日报;2008年
中国博士学位论文全文数据库 前10条
1 邓淼磊;几类安全协议的研究与设计[D];西安电子科技大学;2010年
2 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
3 赵辉;安全协议形式化分析技术的研究[D];大连理工大学;2010年
4 李俊霖;物联网传感网络安全协议形式化研究[D];云南大学;2011年
5 冯超;计算可靠的安全协议验证方法研究[D];国防科学技术大学;2011年
6 贾洪勇;安全协议的可组合性分析与证明[D];北京邮电大学;2009年
7 石曙东;网络协议安全性分析中的逻辑化方法研究[D];华中科技大学;2009年
8 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
9 闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年
10 李世群;普适计算中的安全问题研究[D];上海交通大学;2007年
中国硕士学位论文全文数据库 前10条
1 张旋;基于无线网络的入侵检测系统研究[D];武汉理工大学;2006年
2 施娟;电子商务安全协议探讨[D];西南财经大学;2001年
3 郭伟;基于OPNET的Mesh安全协议仿真平台研究[D];西安电子科技大学;2010年
4 林萍娟;基于有限域上遍历矩阵的安全协议实现研究[D];吉林大学;2006年
5 李大科;手机银行安全协议设计与分析研究[D];河海大学;2004年
6 陈强;安全协议的形式化分析研究[D];清华大学;2005年
7 陈娴;RFID安全协议及加密算法研究[D];电子科技大学;2010年
8 刘万授;基于UML安全协议的建模和自动检测[D];华南师范大学;2005年
9 石昊苏;基于串空间模型分析与验证密码安全协议[D];中国科学院研究生院(软件研究所);2004年
10 周锋波;基于XML的SET支付系统的研究与实现[D];山东大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026