分析和设计安全协议的新逻辑的语义

作     者：缪祥华 何大可 Miao Xianghua;He Dake

作者机构：西南交通大学计算机与通信工程学院四川成都610031 西南交通大学信息安全与国家计算网格实验室四川成都610031 

出 版 物：《云南民族大学学报（自然科学版）》 (Journal of Yunnan Minzu University:Natural Sciences Edition)

年 卷 期：2006年第15卷第2期

页      码：150-153页

摘      要：文献[1]中提出了一种分析和设计安全协议的新逻辑.协议分析者可以用该逻辑来对安全协议进行分析,而协议设计者可以使用该逻辑用一种系统的方法来构造安全协议.文献[1]没有给出该逻辑的形式化语义,因为串空间模型具有良好的语义,现将新逻辑和串空间模型结合起来,给出新逻辑的串空间语义,并运用该语义证明了新逻辑的推理规则是正确的.

主 题 词：逻辑语义 安全协议 串空间 

学科分类：08[工学] 0839[0839] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1672-8513.2006.02.019

馆 藏 号：203470618...