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

• 作者: 余磊 魏仕民
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 安全协议 形式化分析方法 串空间模型 认证测试 消息组件 测试组件
• 年，卷（期）: 2013,（6）
• 所属期刊栏目: 网络、通信、安全
• 页码范围: 114-117
• 页数: 4页
• 分类号: TP309
• 字数: 4849字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1301-0219

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	魏仕民	淮北师范大学计算机科学与技术学院	36	78	4.0	7.0
2	余磊	淮北师范大学计算机科学与技术学院	23	36	3.0	4.0