通用安全协议分析语言CPAL的研究

• 作者: 刘士冬 吕述望 苏桂平
• 来源期刊: 微电子学与计算机
• 关键词: 安全协议 形式化分析 形式化语言 语法和语义
• 年，卷（期）: 2005,（11）
• 页码范围: 41-44
• 页数: 4页
• 分类号: TP393.08
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2005.11.013

摘要

本文先从软件理论的角度对安全协议分析语言CPAL的语法和语义进行分析,指出这种语言控制流的缺陷,在语法和语义方面给出CPAL语言的完善方案,并从信息安全中的协议的广泛性方面说明其必要性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吕述望		71	708	14.0	24.0
2	苏桂平		24	238	8.0	15.0
3	刘士冬		3	9	1.0	3.0