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

作     者：黄连生 王新兵 谢峰 杨克 

作者机构：清华大学计算机科学与技术系北京100084 

基　　金：国家自然科学基金资助项目 (69872 0 19) 

出 版 物：《清华大学学报（自然科学版）》 (Journal of Tsinghua University(Science and Technology))

年 卷 期：2001年第41卷第7期

页      码：72-75页

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

主 题 词：网络安全 身份验证协议 密码协议 安全协议 形式化验证 攻击者 角色冒充 

学科分类：0810[工学-土木类] 0839[0839] 08[工学] 0805[工学-能源动力学] 0701[理学-数学类] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:1000-0054.2001.07.021

馆 藏 号：203541721...