基于攻击者的“角色冒充”的协议验证方法

摘要：

网络的普及使得网络安全问题日益重要，协议的安全性和密码算法的安全性是网络数据安全的两个最基本的概念。介绍了几种具有代表性的安全协议的形式化验证工具，并提供了用JAVA语言实现的基于攻击者和秘密的安全协议验证算法。提出了身份验证协议必须交换秘密的概念，还为协议的形式化验证过程设计了框架。实现的验证工具是证伪的。

关键词：安全协议、形式化验证、攻击者、角色冒充

所属期刊栏目：41

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金69872019

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：72-75