费定舟
【姓名】 费定舟
【职称】
【研究领域】 逻辑学;互联网技术;自然科学理论与方法;
【研究方向】 认知逻辑和Agent理论
【发表文献关键词】 BAN逻辑,logic,语义模型,Authentication,分析与改进,认证协议,公理,安全协议,全局状态,可能世界,模态逻辑,信念集,逻辑,公理系统,可满足,密钥,可达关系,公理模式,密钥集,形...
【工作单位】 中山大学
【曾工作单位】 中山大学;
【所在地域】 广州
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/4 1 0 4 4 356
中国期刊全文数据库    共找到1篇
[1]费定舟,邓达强.关于BAN逻辑的语义模型的分析与改进[J]计算机工程与应用.2004,(15)
更多
中国重要会议全文数据库    共找到1篇
[1]费定舟;.自动推理:它的内容、方法和意义[A].2001年逻辑研究专辑.2001-06-30
更多