信任谓词的计算语义

• 作者: 崔巍 斯雪明 李益发
• 来源期刊: 信息工程大学学报
• 学科: 工学
• 关键词: 安全协议 形式化分析 逻辑系统 信任谓词 计算语义
• 年，卷（期）: 2012,（2）
• 所属期刊栏目: 数学与信息安全
• 页码范围: 156-160
• 分类号: TP309
• 字数: 5332字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-0673.2012.02.006

摘要

讨论逻辑系统中信任谓词的计算语义以及表述信任谓词基本性质的若干公理.首先指出计算的协议组合逻辑在讨论信任关系方面可能存在证明过程与挖掘内在信任关系方面的缺陷；扩展谓词演算系统形成基本协议逻辑并为其添加计算语义以便用于描述安全协议；最后从信任关系的本质含义出发,在基本协议逻辑系统中严格定义信任谓词的计算语义,并通过讨论若干公理反映信任谓词的基本性质.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李益发	信息工程大学信息工程学院	29	175	6.0	12.0
2	崔巍	信息工程大学信息工程学院	2	25	1.0	2.0
3	斯雪明	信息工程大学信息工程学院	16	71	4.0	8.0