| 安全协议的验证逻辑 |
| |
| 引用本文： | 白硕,隋立颖,陈庆锋,付岩,庄超.安全协议的验证逻辑[J].软件学报,2000,11(2):213-221. |
| |
| 作者姓名： | 白硕 隋立颖 陈庆锋 付岩 庄超 |
| |
| 作者单位： | 国家智能计算机研究开发中心,北京,100080 |
| |
| 基金项目： | 本文研究得到国家863高科技项目基金(No.863-306-ZD10-02)资助. |
| |
| 摘 要： | 该文提出一种论证安全协议之安全性质的非单调动态逻辑.针对信息安全的特定需要,给出了一组与加密、解密、签名、认证和密钥分配等密码学操作有关的公理和推理规则,举例说明了这一逻辑框架在验证安全协议方面的应用,并讨论了需要进一步解决的问题.
|
| 关 键 词： | 信息安全 协议验证 动态逻辑 非单调逻辑. |
| 收稿时间： | 4/3/1998 12:00:00 AM |
| 修稿时间： | 1998-04-03 |
The Verification Logic for Secure Protocols |
| |
| BAI Shuo,SUI Li-ying,CHEN Qing-feng,FU Yan and ZHUANG Chao.The Verification Logic for Secure Protocols[J].Journal of Software,2000,11(2):213-221. |
| |
| Authors: | BAI Shuo SUI Li-ying CHEN Qing-feng FU Yan and ZHUANG Chao |
| |
| Affiliation: | National Research Center for Intelligent Computing Systems\ Beijing\ 100080 |
| |
| 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. |
| |
| Keywords: | Information security protocol verification dynamic logic non-monotonic logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
