常亮

作品数：4被引量：7H指数：1
导出分析报告
供职机构：桂林电子工业学院计算科学与应用数学系更多>>
发文主题：IKE协议SMV符号模型检验公平滥用更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程与应用》更多>>
所获基金：广西省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
无线认证协议的模型检验分析研究
《计算机工程与应用》2006年第21期118-120,共3页刘霞 古天龙 常亮 郭云川 
广西十百千人才专项基金项目;广西科学基金资助
模型检验作为一种有效的分析和验证手段,在对有线认证协议的形式化分析上已得到了成功的应用,但关于无线认证协议的相关工作目前还比较少。论文应用模型检验方法对D.S.Wong等提出的无线认证协议(Server-specificMAKEP)的安全性进行分析...
关键词：无线认证协议 安全性 模型检验 
互联网密钥交换协议的SMV分析被引量：6
《计算机工程与应用》2005年第19期154-157,173,共5页常亮 古天龙 郭云川 
该文基于SMV对新版本的互联网密钥交换协议(IKEv2)进行了分析。在对IKEv2协议进行形式建模,以及应用CTL对相应的安全性质进行形式描述的基础上,利用SMV分析了协议的认证性、秘密性和完整性,发现了两个攻击,并对这两个攻击所产生的影响...
关键词：IKE协议 模型检测 SMV 
电子合同签订协议的符号模型检验分析被引量：1
《计算机工程与应用》2005年第1期161-164,共4页常亮 古天龙 郭云川 
广西科学基金资助
与密钥分发和认证协议相比,电子合同签订协议的形式化分析遇到了新的挑战。以Asokan、Shoup和Waidner提出的乐观合同签订协议为例,在对协议进行建模以及对相应的安全性质进行形式化描述的基础上,用符号模型检验器SMV对公平性、适时性和...
关键词：电子合同签订协议 符号模型检验 公平性 无滥用性 
乐观电子合同签订协议的一种有限状态机模型被引量：1
《桂林电子工业学院学报》2004年第5期27-31,共5页缪裕青 常亮 
乐观电子合同签订协议是一类典型的安全协议,用于在两个或多个主体之间公平高效地实现电子合同签订。与其它类型的安全协议相比,乐观电子合同签订协议更为复杂,从而为其形式化分析带来了一定困难。模型检验是一类有效的形式化分析方法,...
关键词：电子合同签订协议 乐观公平交换 模型 有限状态机 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部