一种描述安全协议的形式化规范语言

• 作者: 刘政 屈玉贵 赵保华
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 安全协议 构造类别代数 形式化描述语言
• 年，卷（期）: 2004,（7）
• 页码范围: 1246-1249
• 页数: 4页
• 分类号: TN915.04
• 字数: 4423字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2004.07.034

摘要

安全协议的设计和分析是复杂而且容易出错的.使用形式化的语言有利于安全协议的正确性和完整性.现有的安全协议的描述方法大多很复杂而且容易导致二义,从而导致协议隐含着种种的安全隐患.引入了基于构造类别代数的形式化规范语言来规范安全协议,通过规则集合和公理集合对安全协议进行精确地描述,有利于协议设计地规范化和协议漏洞地发现,同时对Needham-Schroeder协议进行了形式化规范以进一步说明该形式化语言地使用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	屈玉贵	中国科技大学计算机系	16	198	8.0	14.0
2	赵保华	中国科技大学计算机系	22	234	10.0	15.0
3	刘政	中国科技大学计算机系	2	3	1.0	1.0