您的位置： 专家智库 > >

陈维

作品数：2 被引量：3H指数：1
供职机构：重庆科技学院电子信息工程学院更多>>
发文基金：重庆市自然科学基金重庆市教育委员会科学技术研究项目更多>>
相关领域：农业科学文化科学自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 1篇自动化与计算...
  • 1篇农业科学
  • 1篇文化科学

主题

  • 1篇形式化
  • 1篇认证性
  • 1篇题库
  • 1篇题库设计
  • 1篇权限
  • 1篇权限控制
  • 1篇网上考试
  • 1篇网上考试系统
  • 1篇无线
  • 1篇无线认证
  • 1篇无线认证协议
  • 1篇考试系统
  • 1篇LINEAR

机构

  • 2篇重庆科技学院

作者

  • 2篇陈维
  • 1篇刘霞
  • 1篇邓菊丽
  • 1篇陈国荣
  • 1篇彭军

传媒

  • 1篇计算机工程
  • 1篇重庆科技学院...

年份

  • 1篇2008
  • 1篇2005
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
网上考试系统的设计与实现方法研究被引量：3
2005年
针对现行网上考试系统存在的不足,研究设计了一种通用的网上考试系统.在题库设计、抽题算法、考试控制和权限控制上采用了一些新的思路和方法,克服了传统网上考试系统的许多技术难题.
陈国荣陈维邓菊丽
关键词：网上考试系统题库设计权限控制
无线认证协议Linear MAKEP的模型检验
2008年
模型检验是一种自动化程度很高的形式化分析技术。用有限状态机对无线认证协议LinearMAKEP建模,并对该协议的认证性用CTL公式进行形式化描述,将得到的模型和公式输入模型检验工具SMV进行检验。对检验结果进行分析发现:在Linear MAKEP协议中,入侵者可以冒充服务器与客户进行通信,不满足认证性。给出了协议的一种改进,使其满足认证性。
刘霞陈维彭军
关键词：LINEAR认证性形式化
全选 清除 导出
共1页<1>
聚类工具0