信任谓词的计算语义

摘要：

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

关键词：安全协议、形式化分析、逻辑系统、信任谓词、计算语义

所属期刊栏目：13

分类号：TP309(计算技术、计算机技术)

资助基金：国家863计划资助项目2009AA012201;现代通信实验室预研项目9140C1103040902

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

页数：共5页

页码：156-160