%0 Journal Article
%T The Verification Logic for Secure Protocols<br>安全协议的验证逻辑
%A BAI Shuo
%A SUI Li-ying
%A CHEN Qing-feng
%A FU Yan
%A ZHUANG Chao
%A <br>白硕
%A 隋立颖
%A 陈庆锋
%A 付岩
%A 庄超
%J 软件学报
%D 2000
%I 
%X 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.
%K Information security
%K protocol verification
%K dynamic logic
%K non-monotonic logic<br>信息安全
%K 协议验证
%K 动态逻辑
%K 非单调逻辑.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=24654D6BBA8F41AD&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=0B39A22176CE99FB&sid=527AEE9F3446633A&eid=78F0EFE028BD3783&journal_id=1000-9825&journal_name=软件学报&referenced_num=20&reference_num=6