• Article
  • | |
  • Metrics
  • |
  • Reference [6]
  • |
  • Related
  • |
  • Cited by [20]
  • | |
  • Comments
    Abstract:

    In this paper,a non-monotonic dynamic logic that verifies properties of security protocols is introduced.In accordance with the specific requirement of information security,it provides axioms and inference rules about various cryptographic operations such as encryption,decryption,signature,authentication and key assignment.Several instances are given to illustrate its applications in security protocol verification.Open problems for further study are also discussed.

    Reference
    [1]Michael B,Martin Abadi,Roger Needham.A logic of authentication.ACM Transactions on Computer System,1990,8(1):18~36
    [2]sium on Principles of Distributed Computing.Montreal:ACM Press,1991.201~216
    [3]Kailar R,Gligor V.On belief evolution in authentication protocols.In:Catherine Harris,Madallum A C eds.Proceedings of 4th IEEE Computer Security Foundations Workshop.Los Alamitors,CA:IEEE Computer Society Press,1991.103~116
    [4]Volker Kessler,Cabriele Wedel.AUTLOG——an advanced logic of authentication.In:Bob Wernered ed.Proceedings of the 7th IEEE Computer Security Foundations Workshop.Los Alamitors,CA:IEEE Computer Society Press,1994.90~99
    [5]Kailar R.Accountability in electronic commerce protocols.Proceedings of IEEE Transactions on Software Engineering,1996,22(5):313~328
    [6]SET Secure Electronic Transaction Specification.Book 1:Business Description,Version 1.0.1997
    Related
    Comments
    Comments
    分享到微博
    Submit
Get Citation

白硕,隋立颖,陈庆锋,付岩,庄超.安全协议的验证逻辑.软件学报,2000,11(2):213-221

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:April 03,1998
  • Revised:March 22,1999
You are the first2038537Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063