刘霞

作品数：7被引量：8H指数：2
导出分析报告
供职机构：桂林电子科技大学更多>>
发文主题：无线认证协议公平形式化认证性移动环境更多>>
发文领域：自动化与计算机技术经济管理电子电信更多>>
发文期刊：《计算机与数字工程》《自动化技术与应用》《计算机工程与应用》《通信学报》更多>>
所获基金：国家自然科学基金广西壮族自治区自然科学基金重庆市自然科学基金重庆市教育委员会科学技术研究项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
无线认证协议Linear MAKEP的模型检验
《计算机工程》2008年第3期186-188,212,共4页刘霞 陈维 彭军 
重庆市科委自然科学基金资助项目(CSTC;2005BB2050);重庆市教委科学技术研究基金资助项目(KJ051402)
模型检验是一种自动化程度很高的形式化分析技术。用有限状态机对无线认证协议LinearMAKEP建模,并对该协议的认证性用CTL公式进行形式化描述,将得到的模型和公式输入模型检验工具SMV进行检验。对检验结果进行分析发现:在Linear MAKEP协...
关键词：LINEAR MAKEP协议 模型检验 认证性 形式化 
移动环境公平支付协议的设计与分析研究被引量：2
《通信学报》2007年第4期32-37,共6页刘霞 古天龙 董荣胜 郭云川 
国家自然科学基金资助项目(60243002);广西自然科学基金资助项目(0542052)~~
结合固定网络中的支付协议并充分考虑移动装置和无线网络的特点,提出了一种移动环境公平支付协议。利用模型检验工具对协议进行分析并将该协议与其他支付协议进行比较,分析和比较结果表明,该协议具有公平、保密、高效等特点,适用于移动...
关键词：公平支付协议 模型检验 公平性 移动环境 
一种移动支付协议的模型检验分析
《计算机工程与应用》2006年第33期46-49,52,共5页刘霞 古天龙 郭云川 
给出了移动支付协议的一种有限状态机建模方法,该方法在传统支付协议的基础上充分考察了移动环境中移动装置和无线网络的特点,所建立的模型具有全面、准确、直观、简洁的特点。以一个典型的移动支付协议KSL为例,对该协议进行有限状态机...
关键词：移动支付协议 模型检验 公平性 
无线认证协议的模型检验分析研究
《计算机工程与应用》2006年第21期118-120,共3页刘霞 古天龙 常亮 郭云川 
广西十百千人才专项基金项目;广西科学基金资助
模型检验作为一种有效的分析和验证手段,在对有线认证协议的形式化分析上已得到了成功的应用,但关于无线认证协议的相关工作目前还比较少。论文应用模型检验方法对D.S.Wong等提出的无线认证协议(Server-specificMAKEP)的安全性进行分析...
关键词：无线认证协议 安全性 模型检验 
无线认证协议Server-specific MAKEP的一种改进被引量：2
《桂林电子工业学院学报》2006年第4期255-258,共4页刘霞 古天龙 
无线认证协议用于无线环境中各参与方之间相互确定对方的真实身份,防止假冒攻击。如果无线认证协议出现安全漏洞,整个会话就没有安全性可言,还会影响随后会话的安全性。针对无线认证协议Server-spec ificM AKEP存在的认证性缺陷,给出了...
关键词：无线认证协议 认证性 模型检验 
安全协议的形式化方法概述被引量：2
《计算机与数字工程》2005年第5期39-43,共5页刘霞 陈勇 
介绍了安全协议的形式化分析思路,阐述了安全协议形式化描述、需求、验证及设计四个方面的研究状况和它们的基本原理,并对常用的几种形式化验证技术的优缺点进行了分析,最后针对形式化技术在该领域的发展前景提出了自己的见解。
关键词：安全协议 形式化 
在Microsoft Word中使用和操作MATLAB被引量：2
《自动化技术与应用》2004年第2期62-64,共3页陈勇 刘霞 
MicrosoftWord软件在文字处理方面功能最强 ,而MATLAB的数值计算功能最优 ,本文为了充分发挥MicrosoftWord和MATLAB的优点 ,提出了两者的结合 ,为学者在撰写科技报告、论文、专著等时提供了很大方便。介绍了基于MATLAB的文字处理工具—...
关键词：MICROSOFTWORD MATLAB 文字处理 数值计算 NOTEBOOK M-book 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部