收藏本站
《软件学报》 2003年10期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

安全协议20年研究进展

卿斯汉  
【摘要】:总结了安全协议的20年研究进展情况,指出形式化方法在安全协议的设计与分析中的重要应用.对安全协议的若干热点研究方向进行了归纳和展望.

【引证文献】
中国期刊全文数据库 前10条
1 费向东;潘郁;;公钥密码体制下协议设计的安全准则及一种网络审批协议[J];电子政务;2005年22期
2 卫剑钒,陈钟,段云所,王立福;一种认证协议防御拒绝服务攻击的设计方法[J];电子学报;2005年02期
3 陶志红,Hans KleineBuing,张世琨,王立福;Dining Cryptographer安全协议及工程分析[J];电子学报;2005年02期
4 代印唐;张世永;;即时通信安全研究[J];电信科学;2006年04期
5 李建欣,李先贤,卓继亮,怀进鹏;SPA:新的高效安全协议分析系统[J];计算机学报;2005年03期
6 顾永跟;傅育熙;朱涵;;基于可达关系的安全协议保密性分析[J];计算机学报;2007年02期
7 王文奇,李伟华,史兴键,王高祖;基于Agent的网络安全系统协同控制研究[J];计算机应用;2005年10期
8 卓继亮,蔺慧丽,李先贤;具有可信第三方的认证协议的安全性[J];计算机应用研究;2004年12期
9 王英龙,王继志,王美琴,高振明;一种Adhoc网络路由协议安全性分析方法[J];计算机工程与应用;2005年23期
10 石曙东,李之棠;一种新型的电子商务协议及形式化分析[J];计算机工程与应用;2004年36期
中国重要会议论文全文数据库 前1条
1 张兆心;方滨兴;张宏莉;;基于BAN逻辑的SIP网络中认证协议安全性分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
中国博士学位论文全文数据库 前10条
1 柴震川;门限密码方案安全性和应用研究[D];上海交通大学;2007年
2 朱建明;无线网络安全方法与技术研究[D];西安电子科技大学;2004年
3 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
4 李梦君;安全协议形式化验证技术的研究与实现[D];国防科学技术大学;2005年
5 周永彬;PKI理论与应用技术研究[D];中国科学院研究生院(软件研究所);2004年
6 雷飞宇;UC安全多方计算模型及其典型应用研究[D];上海交通大学;2007年
7 任江春;系统可信赖安全增强关键技术的研究与实现[D];国防科学技术大学;2006年
8 冯国柱;PKI关键技术研究及其应用[D];国防科学技术大学;2006年
9 杨世平;安全协议及其BAN逻辑分析研究[D];贵州大学;2007年
10 陶宏才;安全协议结构及其范式研究[D];西南交通大学;2007年
中国硕士学位论文全文数据库 前10条
1 史闻博;基于Nonce数的高效Token更新认证协议的研究[D];成都理工大学;2007年
2 练斌;安全微支付系统的研究与设计[D];西南交通大学;2005年
3 刘万授;基于UML安全协议的建模和自动检测[D];华南师范大学;2005年
4 李晓阳;分布式系统中RBAC的设计与实现[D];中国科学院研究生院(软件研究所);2005年
5 黄春莲;基于DSP芯片的PCI加密卡的设计与实现[D];西南交通大学;2005年
6 邓珍荣;基于串空间模型的协议验证技术研究[D];广西大学;2005年
7 吴瑞龙;一种基于有色Petri网模型的安全协议检测技术的研究[D];广西大学;2005年
8 王东;网格中多用户协同计算安全需求分析及安全协议设计[D];天津大学;2004年
9 曹雪菲;安全协议—理论与应用[D];西安电子科技大学;2006年
10 黎银环;电子商务中公平交换协议及其应用研究[D];重庆大学;2005年
【参考文献】
中国期刊全文数据库 前2条
1 周典萃 ,卿斯汉 ,周展飞;一种分析电子商务协议的新工具[J];软件学报;2001年09期
2 卿斯汉;安全协议的设计与逻辑分析[J];软件学报;2003年07期
【共引文献】
中国期刊全文数据库 前10条
1 蒲荣富;;基于正态分布的异常入侵检测系统[J];阿坝师范高等专科学校学报;2006年03期
2 肖力;RSA密码系统实现数字签名[J];长春工程学院学报(自然科学版);2002年04期
3 文静华,龙士工,李祥;基于Kerberos的分布式校园网络安全模型[J];重庆工学院学报;2004年03期
4 文静华;张梅;李祥;;ISI协议的符号模型检验分析[J];电讯技术;2005年06期
5 李满坡,孙笑飞,张喆,孟令愚,王炤光;东北网调计算机网络安全研究[J];东北电力学院学报;2002年03期
6 赵文清,王德文;PKI在电力系统信息网络安全中的应用[J];电力科学与工程;2003年03期
7 王平水;数字签名技术分析与研究[J];电脑学习;2004年03期
8 李捷;;基于RSA公钥体制的数字签名技术在电子商务中的应用[J];电子商务;2006年06期
9 周展飞,周典萃,王贵林,卿斯汉;电子商务协议的公平性[J];电子学报;2000年09期
10 陶志红,Hans KleineBuing,张世琨,王立福;Dining Cryptographer安全协议及工程分析[J];电子学报;2005年02期
中国重要会议论文全文数据库 前5条
1 祝洪杰;李大兴;;数字签名技术在电子商务系统中的应用[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
2 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年
3 赵会宁;;对于移动IPV6中迂回路由机制的改进[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
4 刘家芬;周明天;;对安全协议重放攻击的分类研究(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)[C];2006年
5 杨明;罗车舟;;一种安全协议分析的逻辑模型[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
中国博士学位论文全文数据库 前10条
1 姬东耀;因特网上信息安全与小额支付协议的设计分析[D];西安电子科技大学;2001年
2 石江宏;无线个人区域网中通信安全问题的研究[D];厦门大学;2002年
3 刘文清;《结构化保护级》安全操作系统若干关键技术的研究[D];中国科学院研究生院(软件研究所);2002年
4 刘海峰;安全操作系统若干关键技术的研究[D];中国科学院研究生院(软件研究所);2002年
5 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
6 周永彬;PKI理论与应用技术研究[D];中国科学院研究生院(软件研究所);2004年
7 蒋建春;面向网络环境的信息安全对抗理论及关键技术研究[D];中国科学院研究生院(软件研究所);2004年
8 张琨;基于生物免疫学的入侵检测系统的研究与实现[D];南京理工大学;2003年
9 黄少寅;主动网安全机制若干问题的研究[D];复旦大学;2004年
10 李春艳;分级防火墙系统中动态访问控制技术研究[D];哈尔滨工程大学;2004年
中国硕士学位论文全文数据库 前10条
1 陈江;计算机安全审计技术研究[D];广东工业大学;2005年
2 彭诗力;网络入侵检测系统的研究与设计[D];中南大学;2005年
3 练斌;安全微支付系统的研究与设计[D];西南交通大学;2005年
4 裘旭光;外贸企业信息系统研究与探讨[D];天津工业大学;2004年
5 何成;电子商务协议的逻辑分析与研究[D];西安理工大学;2002年
6 刘宏伟;网络数据库安全的认证与授权[D];西南交通大学;2002年
7 甘泉;基于电子商务平台的安全研究及防火墙系统的设计[D];汕头大学;2002年
8 陈兴容;椭圆曲线加密系统的设计与实现[D];电子科技大学;2002年
9 王雪颖;PKI认证系统研究与设计[D];电子科技大学;2002年
10 王焕宝;IKE协议及其抵御DoS攻击研究[D];合肥工业大学;2002年
【同被引文献】
中国期刊全文数据库 前10条
1 刘涛;严楠;甘洁静;;基于RSA算法动态相互身份认证的设计[J];安徽工程科技学院学报(自然科学版);2006年01期
2 杨波,马文平,王育民;一种新的密钥分割门限方案及密钥托管体制[J];电子学报;1998年10期
3 肖德琴;形式化验证认证协议的研究[J];计算机工程;1999年S1期
4 冯国柱;李超;吴翊;;基于视觉密码的身份认证方案[J];计算机应用;2006年10期
5 娄悦;施荣华;曹龄兮;;基于强认证技术的会话初始协议安全认证模型[J];计算机应用;2006年10期
6 李士达;胡玥;王兴秋;于真;;一种基于ECC的SIP认证方案的提出与实现[J];计算机应用;2007年02期
7 张秋余;梁爽;王怀江;;一种新的基于PKI的动态身份认证系统的设计[J];计算机应用研究;2006年10期
8 刘杰,王春萌,范春晓;移动电子商务及WPKI技术[J];北京邮电大学学报;2002年02期
9 邢育森,林晓东,李小杰,杨义先;会话密钥分配协议的分析与设计[J];北京邮电大学学报;1997年04期
10 阳富民,吴学锋,胡贯荣;一种小额支付协议的研究与设计[J];华中科技大学学报(自然科学版);2003年02期
中国重要会议论文全文数据库 前2条
1 袁中兰;夏光升;李小标;代战峰;;RBAC中的用户激活约束研究[A];全国网络与信息安全技术研讨会论文集(下册)[C];2007年
2 袁中兰;夏光升;李小标;代战峰;;一种基于CPK的动态口令算法[A];全国网络与信息安全技术研讨会论文集(下册)[C];2007年
中国博士学位论文全文数据库 前10条
1 张浩军;无线局域网认证安全基础架构研究与设计[D];解放军信息工程大学;2006年
2 田建波;认证协议的分析设计[D];西安电子科技大学;1998年
3 郑东;密码协议的逻辑分析与设计[D];西安电子科技大学;1999年
4 张玉清;计算机通信网安全协议的分析研究[D];西安电子科技大学;2000年
5 王贵林;门限签名方案和认证协议的设计与分析[D];中国科学院软件研究所;2001年
6 陈恺;电子现金系统与公钥基础设施研究[D];西安电子科技大学;2001年
7 李益发;密码协议安全性分析中的逻辑化方法——一种新的BAN类逻辑[D];解放军信息工程大学;2001年
8 伍春华;因特网流量建模及其在网络仿真中的应用研究[D];中南大学;2001年
9 王勇;嵌入式Internet的技术实现及其安全问题的研究[D];浙江大学;2002年
10 沈炜;用于公平交换的若干协议和规范的研究与应用[D];浙江大学;2003年
中国硕士学位论文全文数据库 前10条
1 曾强;网络安全协议SSL原理及应用[D];天津大学;2005年
2 何蓉;电子商务关键技术研究[D];西南交通大学;2002年
3 刘吉颖;一种基于RSA的概率公钥密码体制[D];暨南大学;2001年
4 张喜青;基于指纹特征的用户身份认证技术研究与开发[D];电子科技大学;2002年
5 高岩;快速RSA与AES的工程实现与应用研究[D];武汉理工大学;2002年
6 毛光灿;移动通信安全研究[D];西南交通大学;2003年
7 王世贤;CA认证中心的研究与应用[D];武汉理工大学;2003年
8 胡敏;基于P-Grid的网络信息共享技术的研究[D];华东师范大学;2003年
9 宋志伟;LDAP协议研究[D];南京理工大学;2003年
10 王文煜;IKE协议研究与实现[D];电子科技大学;2003年
【二级引证文献】
中国期刊全文数据库 前10条
1 费向东;潘郁;;公钥密码体制下协议设计的安全准则及一种网络审批协议[J];电子政务;2005年22期
2 卿斯汉 ,李改成;公平交换协议的一个形式化模型[J];中国科学E辑;2005年02期
3 王涛,郭荷清,姚松涛;串空间方法分析协议公平性的研究[J];计算机工程与应用;2004年35期
4 石曙东,李之棠;一种新型的电子商务协议及形式化分析[J];计算机工程与应用;2004年36期
5 汪勇,熊前兴;一种敏捷的电子商务协议[J];计算机工程与应用;2005年23期
6 邢育红;卜凡金;李大兴;;基于串空间模型的电子商务协议的形式化分析[J];计算机工程与应用;2006年03期
7 董荣胜;陈大伟;郭云川;古天龙;;公平非否认协议的有限状态分析[J];计算机科学;2005年08期
8 董玉民,帅典勋;基于第三方认证的公平电子商务技术体系研究[J];计算机集成制造系统-CIMS;2005年04期
9 黎波涛,罗军舟;Zhou-Gollmann不可否认协议的一种新的改进[J];计算机学报;2005年01期
10 董玉民,汪济香,帅典勋;半可信/可信第三方协议在电子商务中的应用[J];情报杂志;2005年09期
中国重要会议论文全文数据库 前4条
1 张兆心;方滨兴;张宏莉;;基于BAN逻辑的SIP网络中认证协议安全性分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
2 于珏;吴韶波;张中兆;;基于AODV的自愈路由研究[A];第十七届全国测控计量仪器仪表学术年会(MCMI'2007)论文集(下册)[C];2007年
3 刘家芬;周明天;;对安全协议重放攻击的分类研究(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)[C];2006年
4 张慧;;武汉小灵通网络结构安全分析[A];武汉市第二届学术年会、通信学会2006年学术年会论文集[C];2006年
中国博士学位论文全文数据库 前10条
1 周永彬;PKI理论与应用技术研究[D];中国科学院研究生院(软件研究所);2004年
2 李梦君;安全协议形式化验证技术的研究与实现[D];国防科学技术大学;2005年
3 邢育红;公平交换协议分析方法研究[D];山东大学;2005年
4 张运凯;网络蠕虫传播与控制研究[D];西安电子科技大学;2005年
5 王焕宝;安全协议分析的形式化理论与方法[D];合肥工业大学;2006年
6 郑宇;4G无线网络安全若干关键技术研究[D];西南交通大学;2006年
7 毛明毅;面向对象的广义空间逻辑运算模型与推理研究[D];西北工业大学;2006年
8 王良民;主动反应与自再生的容忍入侵关键技术研究[D];西安电子科技大学;2006年
9 李谢华;基于串空间模型的安全协议形式化验证方法的研究[D];上海交通大学;2007年
10 杨世平;安全协议及其BAN逻辑分析研究[D];贵州大学;2007年
中国硕士学位论文全文数据库 前10条
1 梁君;两个安全可证明的基于身份的群密钥生成协议[D];成都理工大学;2007年
2 练斌;安全微支付系统的研究与设计[D];西南交通大学;2005年
3 李占江;Twofish算法的优化及在移动支付系统中的实现[D];北京交通大学;2007年
4 汪杨琴;移动支付协议安全性研究[D];上海交通大学;2007年
5 任艳丽;关于不可否认协议中第三方的研究[D];陕西师范大学;2005年
6 崔颖安;信息安全中间件软件的研究[D];西安理工大学;2005年
7 王竹萍;基于电信储值支付平台的虚拟银行的关键技术及实现方案的研究[D];浙江大学;2004年
8 王富强;数字商品交易协议研究[D];重庆大学;2004年
9 韩培胜;一个基于代理的身份认证系统的设计与实现[D];解放军信息工程大学;2004年
10 莫燕;网络安全协议模型检测技术研究与应用[D];西安电子科技大学;2005年
【相似文献】
中国期刊全文数据库 前10条
1 卿斯汉;安全协议20年研究进展[J];软件学报;2003年10期
2 王宝珠;杨菲;刘翠响;;一个新的基于公钥密码机制的安全协议的设计[J];电子质量;2010年11期
3 陈雁飞;马成勇;杨慧;;基于RFID系统的Reader-Tag安全协议的设计及分析[J];计算机与数字工程;2008年09期
4 王丹;魏进锋;周晓东;;远程证明安全协议的设计与验证[J];通信学报;2009年S2期
5 陶宏才;何大可;;Yahalom协议及其变体的时序缺陷分析与改进[J];计算机工程;2008年17期
6 龙艳彬;王丽君;;基于IPsec的非对称VPN在Linux下的设计[J];鞍山科技大学学报;2006年04期
7 韩咚;田银花;;基于赋时颜色Petri网的NSSK协议建模[J];计算机技术与发展;2010年06期
8 王向东;;IP城域网设计方案实例[J];电信工程技术与标准化;2006年08期
9 蒋文沛;李奇国;;校园一卡通系统的设计[J];福建电脑;2008年02期
10 覃远霞;;企业门户网站的设计与实现[J];科技创新导报;2008年33期
中国重要会议论文全文数据库 前10条
1 杨晋;;校园网设计与建设[A];农业教育与农村改革发展——云南省农业教育研究会2007年学术年会论文汇编[C];2007年
2 李志英;张淳;王燕;王舜杏;詹敏;郭锡全;陈秀奇;;《青光眼中西医诊治专题学习网站》的设计与开发[A];中华中医药学会第五次眼科学术交流会论文汇编[C];2006年
3 侯红霞;;信息安全专业“安全协议”课程的教改探讨[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
4 吴春胤;陈联诚;俞守华;;基于AgMES的搜索引擎的设计与实现[A];农业工程科技创新与建设现代农业——2005年中国农业工程学会学术年会论文集第三分册[C];2005年
5 彭云飞;;天津西青区校校通网络工程的设计与建设[A];第二十二届中国(天津)'2008IT、网络、信息技术、电子、仪器仪表创新学术会议论文集[C];2008年
6 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
7 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
8 顾永跟;傅育熙;朱涵;吕银华;;基于进程演算的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
9 康松;王勋华;;门卫安全协议 一种简单的适用于公共数据网的安全协议[A];第十一届全国计算机安全技术交流会论文集[C];1996年
10 刘丽;梁对;;即时通信系统的设计与实现[A];武汉市第二届学术年会、通信学会2006年学术年会论文集[C];2006年
中国重要报纸全文数据库 前10条
1 ;802.1AE保护局域网安全[N];网络世界;2005年
2 郭莹;CTBS实现安全高速远程接入[N];中国计算机报;2007年
3 朱建军;客户端VPN安全十法则[N];计算机世界;2006年
4 ;天融信打造坚实的VPN方案[N];网络世界;2003年
5 于卫;创造WAP上的ISP[N];计算机世界;2000年
6 ;安全与隐私兼得[N];网络世界;2002年
7 本报记者 谌力;事务处理系统走向SOA[N];网络世界;2005年
8 张彤;以其人之道还治其人之身[N];网络世界;2007年
9 清华大学计算机系 陈渝;ACI中的安全问题[N];计算机世界;2001年
10 北京市科委保密委员会主办;网络信息安全与保密的层次结构[N];北京科技报;2000年
中国博士学位论文全文数据库 前10条
1 邓淼磊;几类安全协议的研究与设计[D];西安电子科技大学;2010年
2 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
3 赵辉;安全协议形式化分析技术的研究[D];大连理工大学;2010年
4 冯超;计算可靠的安全协议验证方法研究[D];国防科学技术大学;2011年
5 贾洪勇;安全协议的可组合性分析与证明[D];北京邮电大学;2009年
6 鲁来凤;安全协议形式化分析理论与应用研究[D];西安电子科技大学;2012年
7 石曙东;网络协议安全性分析中的逻辑化方法研究[D];华中科技大学;2009年
8 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
9 闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年
10 董学文;基于串空间模型安全协议形式化方法的分析与扩展[D];西安电子科技大学;2011年
中国硕士学位论文全文数据库 前10条
1 张旋;基于无线网络的入侵检测系统研究[D];武汉理工大学;2006年
2 施娟;电子商务安全协议探讨[D];西南财经大学;2001年
3 林萍娟;基于有限域上遍历矩阵的安全协议实现研究[D];吉林大学;2006年
4 陈强;安全协议的形式化分析研究[D];清华大学;2005年
5 郭克华;基于第三方计算的移动商务安全协议[D];福州大学;2005年
6 于朝霞;PHOTOSHOP教学网站的设计与应用研究[D];山东师范大学;2006年
7 赵琳;安全协议形式化分析方法的比较和研究[D];郑州大学;2007年
8 刘锋;安全协议模型检验技术研究与实现[D];中国人民解放军国防科学技术大学;2002年
9 邓珍荣;基于串空间模型的协议验证技术研究[D];广西大学;2005年
10 樊静淳;基于移动代理系统的安全旅行协议研究[D];山东大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026