| 分析和设计安全协议的新逻辑的语义 |
| |
| 引用本文： | 缪祥华,何大可. 分析和设计安全协议的新逻辑的语义[J]. 云南民族大学学报(自然科学版), 2006, 15(2): 150-153 |
| |
| 作者姓名： | 缪祥华 何大可 |
| |
| 作者单位： | 1. 西南交通大学,计算机与通信工程学院,四川,成都,610031
2. 西南交通大学,信息安全与国家计算网格实验室,四川,成都,610031 |
| |
| 摘 要： | 文献[1]中提出了一种分析和设计安全协议的新逻辑.协议分析者可以用该逻辑来对安全协议进行分析,而协议设计者可以使用该逻辑用一种系统的方法来构造安全协议.文献[1]没有给出该逻辑的形式化语义,因为串空间模型具有良好的语义,现将新逻辑和串空间模型结合起来,给出新逻辑的串空间语义,并运用该语义证明了新逻辑的推理规则是正确的.
|
| 关 键 词： | 逻辑语义 安全协议 串空间 |
| 文章编号： | 1672-8513(2006)02-0150-04 |
| 修稿时间： | 2005-10-03 |
A Semantics for a New Logic of Analysis and Design Security Protocol |
| |
| Miao Xianghua,He Dake. A Semantics for a New Logic of Analysis and Design Security Protocol[J]. Journal of Yunnan Nationalities University:Natural Sciences Edition, 2006, 15(2): 150-153 |
| |
| Authors: | Miao Xianghua He Dake |
| |
| Abstract: | We presented a new logic of analysis and design security protocol in paper [1].Protocol analyser can analyse security protocol by the logic,and protocol designer can construct security protocol by the logic in a systematic way.In paper[1],we didn't present the formal semantics for the logic.In this paper,we give the strand space semantics for the logic by combining the logic with strand space model,then prove that inference rules of the logic are correct by strand space semantics. |
| |
| Keywords: | logic semantics security protocol strand space |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
