密码通信下的动态认知逻辑 |
| |
作者单位: | ;1.嘉应学院计算机学院;2.中山大学逻辑与认知研究所 |
| |
摘 要: | 动态认知逻辑能够完成多主体信息交互活动中认知状态的刻画,但是它缺乏对密码通信的支持,同时密文处理规则的描述和主体密码全能问题也是迫切需要解决的问题.CDEL(Cryptography Dynamic Epistemic Logic)是支持密码规则的一阶认知逻辑,它为开放环境下主体传送信息提供了一个良好的描述方法.文章讨论了该逻辑中的密码公理的引入和密码全知问题的处理,简要介绍了其动态扩展方法和进一步研究的方向.
|
关 键 词: | 动态认知逻辑 语义 密码系统 逻辑全知 |
An Dynamic Epistemic Logic in Cryptography Communication |
| |
Abstract: | |
| |
Keywords: | |
|
|