安全协议形式化分析的研究现状及有关问题
被引量：4
The Present Research on and Relevant Problem of Formalization Analysis of Safety Agreement
摘要
本文主要概述了安全协议形式化分析的研究状况,分析了现有安全协议形式化分析工具所面临的挑战和问题。
出处
《网络安全技术与应用》
2001年第8期12-15,共4页
Network Security Technology & Application
共引文献67
-
1温海滨,裴卓雄.信息系统运维管理的安全风险分析[J].电子技术（上海）,2021,50(10):202-203. 被引量：6
-
2邢忠起.甲基叔丁基醚的生产与消费[J].科技资讯,2005,3(27):42-43. 被引量：1
-
3杨朝军.关于计算机通信网络安全与防护策略的几点思考[J].硅谷,2008,1(22):117-118. 被引量：51
-
4蔡向阳,郑柏松.谈计算机网络安全漏洞及防范措施[J].黄冈职业技术学院学报,2002,4(3):34-37. 被引量：1
-
5文静华,龙士工,李祥.基于Kerberos的分布式校园网络安全模型[J].重庆工学院学报,2004,18(3):25-27. 被引量：2
-
6王磊,王道宪,段晓辉.半脆弱数字水印技术在MPEG中的应用[J].中山大学学报（自然科学版）,2004,43(A02):169-171.
-
7孙百瑜,高俊山,吴宏伟.基于置换乱序的混沌加密算法[J].自动化技术与应用,2005,24(2):7-9. 被引量：6
-
8张世富,徐秋亮.信息系统中信息的保密技术的应用研究[J].山东通信技术,2004,24(3):27-30.
-
9孙春玲,孙百瑜.混沌序列在信息保密中的应用研究[J].黑龙江大学自然科学学报,2005,22(3):411-415. 被引量：2
-
10赵刚 ,李建平 ,肖书成 .基于小波分析的油料信息安全传输平台框架研究[J].后勤工程学院学报,2005,21(3):20-23. 被引量：1
同被引文献10
-
1KAILAR R. Accountabitity protocols [J]. IEEE Transactions in electronic commerce on Software Engineering, 1996,22(5):313-328.
-
2ZHEN J, GOLLMANN D A fair non--repudiation protoeol[J]. IEEE Computer Socieff Symposium on Research in Security and Privacy,1996.
-
3ZHOU J, GOLLMAN D. A fair non-repudiation protocol[C]. Proceeding of 1996 IEEE Symposium on Security and Privacy, 1996:55-61.
-
4卿斯汉,常晓林.章江.安全电子商务协议iKPI的设计和实现[C].信息和通信安全--CCICS'99:第一届中国信息和通信安全学术会议,2000.230-239.
-
5ISO/IEC 1388822, Information technology security techniques non-repudiation part2 : mechanisms using symmetrical techniques[S]. International Organization for Standardization, 1998.
-
6蔡红柳,何新华.信息安全技术及应用实验[M].北京:科学出版社,2005.
-
7Reed Kenneth D.协议分析[M].孙坦,译.北京:电子工业出版社,2004.
-
8WilliamStallings.编码密码学与网络安全:原理与实现[M].电子工业出版社,2001.
-
9周典萃,卿斯汉,周展飞.Kailar逻辑的缺陷[J].软件学报,1999,10(12):1238-1245. 被引量：29
-
10冯登国.国内外信息安全研究现状及其发展趋势[J].网络安全技术与应用,2001(1):8-13. 被引量：68
引证文献4
-
1赵彩云.基于原子单元的PKI通用支持平台的研究[J].常熟理工学院学报,2006,20(6):74-78.
-
2翁艳琴,石曙东,解颜铭.Kailar逻辑的改进及应用[J].微型机与应用,2012,31(3):56-58. 被引量：2
-
3范红,冯登国,郭金庚.安全协议形式化分析的不变式生成技术[J].中国科学院研究生院学报,2002,19(1):91-96. 被引量：1
-
4范红,冯登国.一种混合的安全协议形式化分析技术[J].中国科学院研究生院学报,2002,19(3):240-245. 被引量：1
二级引证文献4
-
1王昕,袁超伟.一种安全协议的形式化分析方法[J].计算机工程,2010,36(7):82-83. 被引量：7
-
2桂海仁,张斌.一种基于聚合签名的服务会话认证协议[J].计算机工程与应用,2014,50(12):77-81.
-
3常朝稳,魏彦芬,王帅.面向现场支付的MCSP模式及其支付协议[J].小型微型计算机系统,2014,35(10):2319-2324. 被引量：1
-
4解建军,李俊红.密钥分发协议及其形式化分析[J].河北师范大学学报（自然科学版）,2003,27(6):570-573. 被引量：2
-
1邓雪萍.无线通信中ZigBee技术浅析[J].消费导刊,2008,0(15):182-182. 被引量：2
-
2徐晓东,岳殿武.密码协议的形式化分析与设计原则[J].南京邮电学院学报,2001,21(3):28-32. 被引量：3
-
3吴慧敏,张毅.基于ZigBee的无线传感网[J].电子元器件应用,2006,8(8):98-99. 被引量：1
-
4韩群,迟荣华,吕可诚.OADM 及其应用的最新研究进展[J].激光与光电子学进展,2002,39(5):20-25. 被引量：1
-
5靳娜.SIP协议在IMS中的应用[J].黑龙江科技信息,2008(1):69-69. 被引量：1
-
6宗建华.我国第三代移动通信系统的特点与关键技术及发展前景[J].电子技术应用,2002,28(3):6-7. 被引量：8
-
7刘丽,肖夏.Ad Hoc网络路由协议评价[J].呼伦贝尔学院学报,2008,16(5):77-79. 被引量：3
-
8余晓玫.ZigBee技术的研究及应用[J].民营科技,2016,0(3):96-96. 被引量：1
-
9袁丁,范平志,何明星.“对BAN逻辑中新鲜子的研究”的注记[J].电子与信息学报,2002,24(8):1131-1133. 被引量：1
-
10陈辰,晓萍,CherylAjluni.定位于印制板设计周期前端的分析工具[J].电子产品世界,1996,3(12):54-57.
