| Towards the Idealization Procedure of BAN-Like Logics |
| |
| 引用本文： | CAOLi-li CHENKe-fei. Towards the Idealization Procedure of BAN-Like Logics[J]. 武汉大学学报:自然科学英文版, 2005, 10(1): 214-218. DOI: 10.1007/BF02828653 |
| |
| 作者姓名： | CAOLi-li CHENKe-fei |
| |
| 作者单位： | DepartmentofComputerScienceandEngineering,ShanghaiJiaotongUniversity,Shanghai200030,China |
| |
| 基金项目： | SupportedbytheNationalNaturalScienceFoundationofChina(90104005,60273049) |
| |
| 摘 要： | We demonstrate the flaws of Mao‘s method, which is an augmentation of protocol idealization in BAN-like logics, and then offer some new idealization rules based on Mao‘s method. Furthermore, we give some theoretical analysis of our rules using the strand space formalism, and show the soundness of our idealization rules under strand spaces. Some examples on using the new rules to analyze security protocols are also concerned. Our idealization method is more effective than Mao‘s method towards many protocol instances, and is supported by a formal model.
|
| 关 键 词： | 安全协议 BAN逻辑 理想程序 计算机安全 |
| 收稿时间： | 2004-05-28 |
Towards the idealization procedure of BAN-like logics |
| |
| Cao Li-li,Chen Ke-fei. Towards the idealization procedure of BAN-like logics[J]. Wuhan University Journal of Natural Sciences, 2005, 10(1): 214-218. DOI: 10.1007/BF02828653 |
| |
| Authors: | Cao Li-li Chen Ke-fei |
| |
| Affiliation: | (1) Department of Computer Science and Engineering, Shanghai Jiaotong University, 20030 Shanghai, China |
| |
| Abstract: | We demonstrate the flaws of Mao's method, which is an augmentation of protocol idealization in BAN-like logics, and then offer some new idealization rules based on Mao's method. Furthermore, we give some theoretical analysis of our rules using the strand space formalism, and show the soundness of our idealization rules under strand spaces. Some examples on using the new rules to analyze security protocols are also concerned. Our idealization method is more effective than Mao's method towards many protocol instances, and is supported by a formal model. Foundation item: Supported by the National Natural Science Foundation of China (90104005, 60273049) Biography: CAO Li-li (1980-), male, Master candidate, research direction: formal analysis of security protocols. |
| |
| Keywords: | security protocols BAN logic idealization strand spaces |
| 本文献已被 CNKI 维普 万方数据 SpringerLink 等数据库收录！ |
|
