密码协议的一种基于组合推理的模型验证

摘要：

将密码协议与协议中用到的密码算法视为一个系统,基于组合推理技术建立了密码协议系统的形式化模型.采用基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的正确性,实现了密码协议系统的模型验证,并重点解决了系统分解问题、假设函数的设定问题等难题.以kerberos v5密码协议系统为例,利用该组合推理技术对密码协议系统进行了安全验证.

关键词：密码协议、形式化模型、组合推理、模型检查

所属期刊栏目：24

分类号：TP393.08(计算技术、计算机技术)

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

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

页数：共6页

页码：122-127