陈大伟
【姓名】 陈大伟
【职称】
【研究领域】 计算机软件及计算机应用;互联网技术;
【研究方向】 网络安全
【发表文献关键词】 模型检测,SPIN,非否认性,公平性,机密性,非否认协议,认证协议,发送消息,有限状态自动机,可信第三方,证据,主体,密钥交换协议,有限状态机,检测工具,对称密钥,执行,接收者,状态转换,形式化模型,
【工作单位】 桂林电子工业学院
【曾工作单位】 桂林电子工业学院;
【所在地域】 桂林
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/2 2 2 1 28 242
中国期刊全文数据库    共找到2篇
[1]陈大伟;董荣胜;郭云川;古天龙;.IKEv2协议的SPIN模型检测[J]计算机工程.2006,(05)
[2]董荣胜;陈大伟;郭云川;古天龙;.公平非否认协议的有限状态分析[J]计算机科学.2005,(08)
更多