一种新的安全协议验证逻辑及其串空间语义

摘要：

针对典型的安全协议验证逻辑存在的问题,如安全属性验证存在局限性、对混合密码原语的处理能力不强等,提出一种新的验证逻辑,新逻辑能够验证安全协议的认证性、密钥保密性、非否认性、可追究性、公平性及原子性.现有多数验证逻辑缺乏形式化语义,而逻辑语义能够证明逻辑系统的正确性,因此给出新逻辑所含逻辑构件的串空间语义,并应用串空间模型证明了新逻辑主要推理规则的正确性.

关键词：安全属性、串空间、逻辑语义、混合密码原语

所属期刊栏目：37

分类号：TP18(自动化基础理论)

资助基金：国家"863"计划基金资助项目2007AA01Z471;国家自然科学基金资助项目60473021;河南省科技攻关计划基金资助重点项目072102210029;河南省科技攻关计划基金资助项目0624260017

在线出版日期：2011-04-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：145-148