协议主体密钥在测试组件构造上的性质分析

摘要：

针对认证测试理论在测试组件构造方面缺少具体形式化构造规则的不足,根据协议主体在认证测试中的角色特点,以及包含惟一源发消息的消息组件在认证测试中的作用和性质,对消息组件进行分类和定义并提出认证测试模型的概念,基于认证测试模型给出协议主体密钥在测试组件构造上的性质命题,同时运用认证测试基础理论对命题进行正确性证明,从而确定测试组件构造的形式化规则.

关键词：安全协议、形式化分析方法、串空间模型、认证测试、消息组件、测试组件

所属期刊栏目：49

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

资助基金：安徽高校省级自然科学研究项目KJ2012B158

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

页数：共4页

页码：114-117