版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
分析和设计安全协议的新逻辑的语义
A Semantics for a New Logic of Analysis and Design Security Protocol作者机构：西南交通大学计算机与通信工程学院四川成都610031 西南交通大学信息安全与国家计算网格实验室四川成都610031
出 版 物：《云南民族大学学报（自然科学版）》 (Journal of Yunnan Minzu University:Natural Sciences Edition)
年 卷 期：2006年第15卷第2期
页 面：150-153页
学科分类：0839[工学-网络空间安全] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）]
摘 要：文献[1]中提出了一种分析和设计安全协议的新逻辑.协议分析者可以用该逻辑来对安全协议进行分析,而协议设计者可以使用该逻辑用一种系统的方法来构造安全协议.文献[1]没有给出该逻辑的形式化语义,因为串空间模型具有良好的语义,现将新逻辑和串空间模型结合起来,给出新逻辑的串空间语义,并运用该语义证明了新逻辑的推理规则是正确的.
