计算机工程2011，Vol.37Issue(1)：145-148,4.DOI:10.3969/j.issn.1000-3428.2011.01.050
一种新的安全协议验证逻辑及其串空间语义
New Verification Logic of Security Protocols and Its Strand Space Semantics
摘要
Abstract
Aiming at the problems of typical verification logic of security protocols, such as the limitations in verifying security properties, the lack of analysis ability of hybrid cryptography-based primitives. This paper proposes a new verification logic, which can verify almost all of the known security properties of the e-commerce protocols, such as authentication.secrecy of key. non-repudiation, accountability, fairness and atomicity. Because most of the verification logics are lack of formal semantics, and formal semantics can prove the correctness of the logic systems, the paper describes strand space semantics of the logic sentences in the new logic and proves the correctness of the main inference rules using strand space model.关键词
安全属性/串空间/逻辑语义/混合密码原语Key words
security property/ strand space/ logic semantics/ hybrid cryptography primitives分类
信息技术与安全科学引用本文复制引用
陈莉..一种新的安全协议验证逻辑及其串空间语义[J].计算机工程,2011,37(1):145-148,4.基金项目
国家"863"计划基金资助项目(2007AA01Z471) （2007AA01Z471）
国家自然科学基金资助项目(60473021) （60473021）
河南省科技攻关计划基金资助重点项目(072102210029) （072102210029）
河南省科技攻关计划基金资助项目(0624260017) （0624260017）
