计算语义相关论文
讨论逻辑系统中信任谓词的计算语义以及表述信任谓词基本性质的若干公理。首先指出计算的协议组合逻辑在讨论信任关系方面可能存在......
提出了一个基于计算语义的安全协议验证逻辑，能准确描述安全协议中的各种计算行为和通信行为。设计了基于该逻辑的证明系统，能对密码......
