刘霞
- 作品数：11 被引量：11H指数：2
- 供职机构：桂林电子科技大学更多>>
- 发文基金：国家自然科学基金广西壮族自治区自然科学基金重庆市自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理电子电信更多>>
- 一种移动支付协议的模型检验分析被引量：1
- 2006年
- 给出了移动支付协议的一种有限状态机建模方法,该方法在传统支付协议的基础上充分考察了移动环境中移动装置和无线网络的特点,所建立的模型具有全面、准确、直观、简洁的特点。以一个典型的移动支付协议KSL为例,对该协议进行有限状态机建模,并通过模型检验工具对其公平性进行了分析验证,指出了其缺陷并进行了改进,从而表明了方法的有效性。该方法具有一定的通用性,以其为基础,可对其他类型的移动电子商务协议进行模型检验分析。
- 刘霞古天龙郭云川
- 移动电子商务协议的模型检验分析与设计研究
- 目前,全球移动电子商务呈现异常强劲的势头,我国移动电子商务也在迅速发展。用户使用移动电子商务时最关心的是安全问题,而移动电子商务协议的安全是保证移动电子商务安全的一个重要方面。移动电子商务协议是一类特殊的电子商务协议,与...
- 刘霞
- 关键词：无线认证协议形式化分析
- 文献传递
- 采用离线粗调和在线细调相结合改进实时控制
- 提出了一种离线粗调和在线细调相结合的控制策略,改进了神经网络和遗传算法在实时控制系统中的运用特性。结合对其直流电机实现实时调速的例子进行分析,并通过MATALB对其进行仿真,证明了这种控制策略是可行的。
- 陈勇孔峰刘霞
- 关键词：PID控制器
- 文献传递
- 移动环境公平支付协议的设计与分析研究被引量：3
- 2007年
- 结合固定网络中的支付协议并充分考虑移动装置和无线网络的特点,提出了一种移动环境公平支付协议。利用模型检验工具对协议进行分析并将该协议与其他支付协议进行比较,分析和比较结果表明,该协议具有公平、保密、高效等特点,适用于移动环境。
- 刘霞古天龙董荣胜郭云川
- 关键词：移动环境
- SY公司发展战略研究
- 在“大众创业，万众创新”的政策环境下，随着云计算技术发展、互联网技术的应用不断颠覆各大传统行业，百度、阿里巴巴、腾讯等互联网企业纷纷加入地理空间信息领域，使得国内空间地理信息应用模式发生巨大变化。我国政府出台了多项政策支...
- 刘霞
- 关键词：企业管理社会环境
- 无线认证协议Server-specific MAKEP的一种改进被引量：2
- 2006年
- 无线认证协议用于无线环境中各参与方之间相互确定对方的真实身份,防止假冒攻击。如果无线认证协议出现安全漏洞,整个会话就没有安全性可言,还会影响随后会话的安全性。针对无线认证协议Server-spec ificM AKEP存在的认证性缺陷,给出了对协议的一种改进。对改进后的协议进行模型检验分析的结果表明,改进后的Server-spec ific M AKEP协议满足认证性和保密性。此外,把存储空间的占用从移动装置转移到了固定装置,减少了移动装置存储空间的占有率,从而提高了移动装置的通信效率。
- 刘霞古天龙
- 关键词：无线认证协议认证性
- 安全协议的形式化方法概述被引量：3
- 2005年
- 介绍了安全协议的形式化分析思路,阐述了安全协议形式化描述、需求、验证及设计四个方面的研究状况和它们的基本原理,并对常用的几种形式化验证技术的优缺点进行了分析,最后针对形式化技术在该领域的发展前景提出了自己的见解。
- 刘霞陈勇
- 关键词：安全协议形式化
- 在Microsoft Word中使用和操作MATLAB被引量：2
- 2004年
- MicrosoftWord软件在文字处理方面功能最强 ,而MATLAB的数值计算功能最优 ,本文为了充分发挥MicrosoftWord和MATLAB的优点 ,提出了两者的结合 ,为学者在撰写科技报告、论文、专著等时提供了很大方便。介绍了基于MATLAB的文字处理工具———Notebook ,阐述了在Notebook基础上 ,通过M -book文档实现在MicrosoftWord中使用和操作MATLAB。通过MicrosoftWord2 0 0 0中使用MATLAB6.1这个例子 ,体现出这结合的优越性。
- 陈勇刘霞
- 关键词：MICROSOFTWORDMATLAB文字处理NOTEBOOK
- 基于文本情感分析的财务共享服务效果研究
- 面对企业成本负担日益增加,资源浪费现象屡见不鲜的状况,少数中国企业开始着手逐步引进财务共享服务模式。在大数据技术迅速发展的驱动下,财务共享服务模式已经成为国内财会领域的一项重大变革,虽已有超过一千家企业引进财务共享,但更...
- 刘霞
- 关键词：财务共享服务文本情感分析词频分析
- 无线认证协议的模型检验分析研究
- 2006年
- 模型检验作为一种有效的分析和验证手段,在对有线认证协议的形式化分析上已得到了成功的应用,但关于无线认证协议的相关工作目前还比较少。论文应用模型检验方法对D.S.Wong等提出的无线认证协议(Server-specificMAKEP)的安全性进行分析,在分析过程中充分考察了无线环境中移动装置和无线网络的特点,验证结果表明了该方法用于分析无线认证协议的有效性。
- 刘霞古天龙常亮郭云川
- 关键词：无线认证协议安全性
