基于分层的网络安全协议验证方法

• 作者: 侯俊峰 张磊 黄连生
• 来源期刊: 计算机应用研究
• 关键词: 安全协议 层次化 验证方法
• 年，卷（期）: 2005,（7）
• 所属期刊栏目: 信息安全
• 页码范围: 143-145
• 页数: 3页
• 分类号: TP393.08
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2005.07.049

摘要

提出了一种新的基于分层的网络安全协议验证方法.首先对要验证的安全属性进行划分,将其分成若干安全子属性;其次对要进行验证的安全协议在安全性等价的条件下进行转换;然后逐步剖分成一个自底向上的多层协议,如果每一层子协议满足所要验证的安全属性的一个子属性,那么这个协议即可被证明是安全的.这种方法相比于传统的验证方法,不但高效,而且完备性更佳.