国家自然科学基金(60573070)
- 作品数：3 被引量：3H指数：1
- 相关作者：周勇朱梧槚肖奚安朱梧朱朝晖更多>>
- 相关机构：南京航空航天大学解放军理工大学更多>>
- 发文基金：国家自然科学基金江苏省自然科学基金霍英东教育基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种验证非否认协议的新方法被引量：3
- 2007年
- 为了描述非否认协议中的各种不确定因素,在Kailar逻辑系统中引入了表示缺省信息的否定词,以及相应的推理机制。提出了安全协议验证的新方法,主要特点是:可以直接对协议的动态运行过程进行推理;推理具有非单调性;避免过多的理想化假设;可以分析含有多个子协议的非否认协议,以及协议的可追究性和公平性。文中以一种基于离线TTP方式的非否认协议为例,验证了该协议在运行一次时具有可追究性,但多次运行时存在攻击。
- 周勇朱梧槚
- 关键词：非否认协议KAILAR逻辑
- 认知态的相似性与等价性
- 2009年
- 以Bochman引入的一种非单调逻辑与信念修正的统一框架——认知态(epistemic states)为研究对象,讨论其内在的结构相似性与外在推理行为等价性之间的联系。因为两认知态相似无法推出它们之间具有已引入的任一种等价关系,为了解决此问题提出了两认知态拟怀疑等价的新概念和作用于认知态上的算子par(.)。利用有限子语言在原语言上的归约,得到如下的表示定理:任两个纯的有限认知态是拟怀疑等价的,当且仅当它们作用算子par后结构相似。
- 肖文洁朱朝晖肖奚安
- 多agent逻辑程序及其在协议验证中的应用
- 2007年
- 提出一种多agent逻辑程序,每个agent具有一个相信算子,讨论了其不动点语义和操作语义,证明了两种语义之间的等价性.提出了一种基于多agent逻辑程序的协议验证方法,以一种多方非否认安全协议为例,对该协议进行了形式化描述,验证了其具有不可否认性.
- 周勇朱梧
- 关键词：逻辑程序安全协议不可否认性
