计算语义相关论文
该文提出了一种新型的逻辑程序设计语言PLL,它具有比一般逻辑程序更广泛的语义,即增加了非终止计算语义,作者利用逻辑程序理论,证明了......
讨论逻辑系统中信任谓词的计算语义以及表述信任谓词基本性质的若干公理。首先指出计算的协议组合逻辑在讨论信任关系方面可能存在......
提出了一个基于计算语义的安全协议验证逻辑,能准确描述安全协议中的各种计算行为和通信行为。设计了基于该逻辑的证明系统,能对密码......