安全协议的关联性研究

• 作者: 余敏 彭文灵 胡声洲
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 安全协议 关联性 形式化分析
• 年，卷（期）: 2007,（21）
• 所属期刊栏目: 安全技术
• 页码范围: 147-148,151
• 页数: 3页
• 分类号: TP309
• 字数: 2725字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.21.052

摘要

关联性是安全协议的基本特征,该文提出了协议相关性的分析方法,从主体认证关联、消息间关联、消息内部关联 3个角度分析了协议的相关特征,阐述了相关性的概念和关联规则构建方法,构建了基于关联性的协议描述模型,为安全协议的形式化分析提供了新的思路.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	余敏	江西师范大学计算机信息工程学院	94	616	12.0	19.0
2	胡声洲	江西师范大学计算机信息工程学院	4	0	0.0	0.0
6	彭文灵	江西赣南师范学院数学与计算机科学学院	1	0	0.0	0.0