期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于Petri网的安全协议形式化分析与验证

FORMAL SPECIFICATION AND VERIFICATION OF CRYPTOGRAPHIC PROTOCOL ON PETRIC NET
下载PDF
导出
摘要 　形式化分析方法由于它简洁性成为网络协议的可靠途径。本文提出用Petri网表示网络安全协议的方法描述现在普遍运行的RSA密码体系,并且对Petri的模型进行可达性分析从而验证了RSA的安全性。 Formal method are widely used in protocol analysis for its concision. This paper proposes a Petri net model, presents a method to describe cryptographic protocol, and analyses the security based on this model in the RSA algorithm by using reachability tree.
作者 曾杰 谢晓尧
机构地区 贵州工业大学计算机科学与技术系
出处 《贵州科学》 2004年第3期80-82,共3页 Guizhou Science
基金 贵州省科学技术基金项目:编号:计字(2001)3071号。
关键词 PETRI 形式化 安全协议 Petri net formal specification cryptographic protocol
分类号 TP309 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献2

二级参考文献21

  • 1[1]Needham R M, Schroeder M D. Using encryption for anthentication in large networks for computers [J]. Commun ACM, 1979, 21(11):993-999.
  • 2[2]Denning D E, Sacco G M. Timestamps in key distributeon protocols[J]. Common ACM, 1981,24(8): 533-536.
  • 3[3]Burrows M,Abadi M,Needham R. A logic of authentication [A].Proceedings of the Royal Socity of London, 1989, A(426):233-271.
  • 4[5]Gavin L. Breaking and Fixing the Needham Schroeder public key protocols using FDR [A]. In Proc of TACAS, Springer Verlag, 1996,1055: 147-166.
  • 5[7]Nieh B B, Tavares S E. Modelling and analyzing cryptographic protocols using Petri nets [M]. Advances in Cryptology. 1992, LNCS 718, Springer Verlag, 1992: 275-295.
  • 6[8]Ayda Basyouni. Analysis of wireless cryptographic protocols [M].Master's Thesis Electrical Engin,Queen's Univ, Kingston, Ontario,Canada, 1997.
  • 7[9]Ramchandani C. Analysis of asynchronous concurrent systems by timed Petri nets [R]. Massachusetts Inst, Technol, Project MAC, Tech,Rep120, 1974.
  • 8[10]Zuberek W M. Timed Petri nets and preliminary performance evalution [A]. In proc, 7th Annu, Syrp. Computer Architecture, May 6-8, 1990: 88-96.
  • 9[11]Murata T. Petri nets: properties, analysis and applications [A]. Proc,IEEE, 1989, 77(4): 541-580.
  • 10[12]Ghezzi C, et al. Fundamentals of software Engineering [M]. PrenticeHall, N.J, 1991.

共引文献33

贵州科学
2004年 第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部