一种多项式时间复杂度的密码协议秘密性验证方法
An Algorithm with Polynomial Time Complexity for Verifying Secrecy Properties of Cryptographic Protocols作者机构：中山大学计算机科学与技术系广州510275
出 版 物：《计算机科学》 (Computer Science)
年 卷 期：2005年第32卷第7期
页 面：109-112页
核心收录：
学科分类：11[军事学] 1105[军事学-军队指挥学] 0839[工学-网络空间安全] 08[工学] 110505[军事学-密码学] 110503[军事学-军事通信学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
主 题：时间复杂度 密码协议 秘密性 验证方法 多项式时间 网络安全 行为结构 验证算法 验证过程 TMN
摘 要：密码协议的秘密性验证是网络安全领域的一个难题,本文在提出协议行为结构的基础上,通过对协议行为及其结构的分析,提出了一种新的密码协议的秘密性验证算法,该算法的时间复杂度是多项式时间的,从而简化了秘密性验证过程,文中最后,作为实例,给出了TMN密码协议的秘密性验证。
维普期刊数据库
同方期刊数据库