常亮
【姓名】 常亮
【职称】
【研究领域】 互联网技术;电信技术;
【研究方向】 网络安全
【发表文献关键词】 合同签订,有限状态机,子协议,公平交换,状态机,符号模型检验,无线认证协议,模型检验,安全性,协议,IKE协议,模型检测,SMV,有限状态机模型,公平性,符号模型,密钥交换协议,通道,认证,无线网络,...
【工作单位】 桂林电子工业学院
【曾工作单位】 桂林电子工业学院;
【所在地域】 广西桂林
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/4 3 2 2 18 404
中国期刊全文数据库    共找到4篇
[1]刘霞;古天龙;常亮;郭云川;.无线认证协议的模型检验分析研究[J]计算机工程与应用.2006,(21)
[2]缪裕青,常亮.乐观电子合同签订协议的一种有限状态机模型[J]桂林电子工业学院学报.2004,(05)
[3]常亮,古天龙,郭云川.互联网密钥交换协议的SMV分析[J]计算机工程与应用.2005,(19)
[4]常亮,古天龙,郭云川.电子合同签订协议的符号模型检验分析[J]计算机工程与应用.2005,(01)
更多