密码通信下的动态认知逻辑

• 作者: 陈广明
• 来源期刊: 嘉应学院学报
• 学科: 哲学
• 关键词: 动态认知逻辑 语义 密码系统 逻辑全知
• 年，卷（期）: 2015,（11）
• 所属期刊栏目: 数学与计算机技术
• 页码范围: 18-23
• 页数: 6页
• 分类号: B815
• 字数: 6313字
• 语种: 中文

摘要

动态认知逻辑能够完成多主体信息交互活动中认知状态的刻画,但是它缺乏对密码通信的支持,同时密文处理规则的描述和主体密码全能问题也是迫切需要解决的问题.CDEL(Cryptography Dynamic Epistemic Logic)是支持密码规则的一阶认知逻辑,它为开放环境下主体传送信息提供了一个良好的描述方法.文章讨论了该逻辑中的密码公理的引入和密码全知问题的处理,简要介绍了其动态扩展方法和进一步研究的方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈广明	嘉应学院计算机学院	21	59	4.0	7.0