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

作     者：刘政 赵保华 屈玉贵 

作者机构：中国科技大学计算机系安徽合肥230027 

基　　金：国家自然科学基金重大研究计划项目 (90 10 40 10 )资助 国家自然科学基金科学部主任基金项目(60 2 410 0 4)资助 教育部博士点基金项目 (2 0 0 0 0 3 5 80 2 )资助 国家 863计划项目 (2 0 0 1AA112 0 62和 2 0 0 1AA12 10 16)资助 中国科学院院长基金特别支持项 

出 版 物：《小型微型计算机系统》 (Journal of Chinese Computer Systems)

年 卷 期：2004年第25卷第7期

页      码：1246-1249页

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

主 题 词：安全协议 构造类别代数 形式化描述语言 

学科分类：0810[工学-土木类] 08[工学] 081001[081001] 

核心收录：

D　O　I：10.3969/j.issn.1000-1220.2004.07.034

馆 藏 号：203793014...