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

• 作者: 陈莉
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 安全属性 串空间 逻辑语义 混合密码原语
• 年，卷（期）: 2011,（1）
• 页码范围: 145-148
• 分类号: TP18
• 字数: 4936字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2011.01.050

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈莉	河南财经学院计算中心	33	148	8.0	10.0