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