计算机工程2011，Vol.37Issue(11)：144-145,163,3.DOI:10.3969/j.issn.1000.3842.2011.11.049
认证协议的必要条件证明
Prerequisite Proof of Authentication Protocol
摘要
Abstract
This paper proposes a binding term theory and constructs the proposition of the prerequisites of authentication protocols based on the binding term theory, which is proved by strand space theory.It takes three classical authentication protocols as examples to verify the proposition proposed.The proposition can decide not only the freshness and the validity of principals, but also the authentication protocols containing type attack flaw.And a simple and effective formal method is provided for deciding security properties of authentication protocols.关键词
认证协议/绑定项理论/串空间理论/必要条件/形式化理论Key words
authentication protocol/ binding term theory/ strand space theory/ prerequisite/ formal theory分类
信息技术与安全科学引用本文复制引用
薛海峰,荆立夏..认证协议的必要条件证明[J].计算机工程,2011,37(11):144-145,163,3.基金项目
国家科技支撑计划基金资助项目"心理疾患防治队伍培训和继续教育的关键技术研究及示范"(009BA177B10) （009BA177B10）
教育部、财政部网络教育数字化学习资源中心建设基金资助项目 （）
