基于合一替换推理的密码协议分析

摘要：

提出了一种简单的,更适合于自动化操作的密码协议分析方法.通过进一步分析攻击者的计算能力,形成一个有效的自动推理系统.攻击者为应答挑战主体的消息,把该消息应答转化为利用推理系统进行合一替换.并分别给出了Needham-Schroeder协议的推理说明.

关键词：密码协议、合一替换、自动推理

所属期刊栏目：28

分类号：TN915.04

资助基金：国家自然科学基金69973004和,60003015

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

页数：共3页

页码：10-11，47