认证测试中协议主体串参数一致性研究

• 作者: 余磊 卓泽朋 魏仕民
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 安全协议 形式化分析 串空间模型 认证测试 串参数
• 年，卷（期）: 2015,（13）
• 所属期刊栏目: 网络、通信、安全
• 页码范围: 86-91,152
• 页数: 7页
• 分类号: TP309
• 字数: 7466字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1307-0199

摘要

针对认证测试基础理论在协议主体串参数一致性分析方面，因形式化判定规则不足所产生的分析复杂度较高和自动化程度较低问题，通过对消息组件结构的形式化，以及认证测试结构的共性分析，基于认证测试基础理论对认证测试结构进行形式化建模；在认证测试结构模型上，运用协议主体密钥的认证测试构造规则，分析协议主体串在不同类型参数上满足一致性的条件，在明确参数一致性判定规则的同时，给出协议主体串参数一致性分析的形式化方法。协议分析实践表明，该方法较传统方法不仅具有简洁高效、易于自动化实现的优点，而且能够准确定位协议缺陷并给出相应的修正方案。

作者信息

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