| 通用安全协议分析语言CPAL的研究 |
| |
| 引用本文： | 刘士冬,苏桂平,吕述望.通用安全协议分析语言CPAL的研究[J].微电子学与计算机,2005,22(11):41-44. |
| |
| 作者姓名： | 刘士冬 苏桂平 吕述望 |
| |
| 作者单位： | 中国科学院研究生院,100080,北京 |
| |
| 基金项目： | 国家＂863＂高科技术研究发展计划基金项目（2001AA141010） |
| |
| 摘 要： | 本文先从软件理论的角度对安全协议分析语言CPAL的语法和语义进行分析，指出这种语言控制流的缺陷，在语法和语义方面给出CPAL语言的完善方案，并从信息安全中的协议的广泛性方面说明其必要性。
|
| 关 键 词： | 安全协议 形式化分析 形式化语言 语法和语义 |
| 文章编号： | 1000-7180（2005）11-041-04 |
| 收稿时间： | 2005-06-20 |
| 修稿时间： | 2005年6月20日 |
Research on Common Security Protocol Analysis Language CPAL |
| |
| LIU Shi-dong,SU Gui-ping,LU Shu-wang.Research on Common Security Protocol Analysis Language CPAL[J].Microelectronics & Computer,2005,22(11):41-44. |
| |
| Authors: | LIU Shi-dong SU Gui-ping LU Shu-wang |
| |
| Affiliation: | Graduate School of Chinese Academy of sciences, Beijing 100039 |
| |
| Abstract: | Syntax and semantic of common security protocol analysis language CPAL are studied by using software theory.Control stream of this language cannot express many security protocols. A improvement sketch is given, and point it is needed to dememd analysis security protocols. |
| |
| Keywords: | Security protocol Formal analysis Formal language Syntax and semantic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
