密码协议的一种安全模型

摘要：

将密码协议与密码算法视为一个系统,建立了密码协议系统的一种安全模型.基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的完备性,实现了密码协议系统的模型检查,并重点解决了系统分解问题、假设函数的设定问题、进程+逻辑的系统特性描述问题等难题.以kerberos密码协议系统为例,利用该安全模型和假设/保证推理技术对密码协议系统进行了安全验证.

关键词：协议验证、安全模型、模型检查、组合推理

所属期刊栏目：14

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

资助基金：国家重点基础研究发展计划973计划G1999035802

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

页数：共9页

页码：1148-1156