您的位置： 专家智库 > >

王灿明

作品数：4 被引量：4H指数：1
供职机构：怀化学院计算机科学与技术系更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 4篇中文期刊文章

领域

  • 4篇自动化与计算...

主题

  • 2篇安全性
  • 2篇RFID
  • 1篇循环不变式
  • 1篇轻量
  • 1篇轻量级
  • 1篇基因表达
  • 1篇基因表达式
  • 1篇基因表达式编...
  • 1篇防伪
  • 1篇安全协议
  • 1篇编程
  • 1篇RFID安全
  • 1篇RFID安全...
  • 1篇RFID认证...
  • 1篇B/S
  • 1篇C/S
  • 1篇C/S与B/...
  • 1篇HOARE逻...
  • 1篇ASP.NE...

机构

  • 4篇怀化学院
  • 1篇重庆大学

作者

  • 4篇王灿明
  • 2篇卢友敏
  • 1篇刘槐德
  • 1篇马竹根
  • 1篇王成良

传媒

  • 2篇电脑知识与技...
  • 1篇计算机与数字...
  • 1篇怀化学院学报

年份

  • 2篇2009
  • 2篇2008
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
利用基因表达式编程自动生成循环不变式被引量：1
2009年
描述了利用基因表达式编程自动生成循环不变式的方法。该方法的基本思想是在每一次循环条件变化时记录下程序变量的值,产生相应的跟踪表,然后从跟踪表中获得程序变量之间的函数依赖关系,这种变量之间的依赖关系构成了循环不变式的主要部分。程序变量之间的函数依赖关系的获得是利用基因表达式编程对跟踪表中数据执行符号回归得到。利用VC++实现了基因表达式编程的函数挖掘,并通过一个实例说明了该方法的有效性。
马竹根王灿明
关键词：循环不变式HOARE逻辑基因表达式编程
RFID认证协议安全及其防伪应用研究被引量：3
2008年
当前射频识别技术己被广泛应用于工业自动化、商业自动化、交通运输控制管理、防伪等领域，其安全性越来越得到重视。介绍了其安全机制和在防伪方面的应用，并探讨了RFID协议的安全性分析和证明方法。
王灿明卢友敏
关键词：RFID防伪安全性
轻量级RFID安全协议研究
2008年
当前射频识别技术己被广泛应用于工业自动化、商业自动化、交通运输控制管理等众多领域,其安全性越来越得到重视.首先分析了RFID技术中存在的安全风险,介绍了几种物理安全机制.并对RFID协议进行研究,探讨了RFID协议的安全性分析和证明方法.
王灿明卢友敏
关键词：RFID安全性
C／S与B／S相结合的运动会信息管理系统的设计与实现
2009年
分析了C／S、B／S两种模式的特点以及各自的优点与不足，并采用这两种模式相结合的方法对运动会信息管理系统进行了设计与实现。
刘槐德王成良王灿明
关键词：C/SB/SASP.NET
全选 清除 导出
共1页<1>
聚类工具0