您的位置： 专家智库 > >

国家高技术研究发展计划(2002AA144040)

作品数：10 被引量：61H指数：5
相关作者：李舟军李梦君陈火旺宋震张艳更多>>
相关机构：国防科学技术大学四川大学北京航空航天大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划高等学校国家重点实验室和教育部重点实验室访问学者专项基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

文献类型

  • 10篇中文期刊文章

领域

  • 10篇自动化与计算...
  • 1篇电子电信

主题

  • 7篇安全协议
  • 4篇形式化
  • 4篇网络
  • 3篇形式化验证
  • 3篇认证性
  • 3篇进程代数
  • 3篇计算机
  • 3篇计算机网
  • 3篇计算机网络
  • 3篇安全协议验证
  • 2篇通信
  • 2篇网络安全
  • 2篇逻辑程序
  • 2篇保密
  • 2篇保密性
  • 1篇电子商务
  • 1篇电子商务协议
  • 1篇动点
  • 1篇形式化描述
  • 1篇商务

机构

  • 9篇国防科学技术...
  • 2篇四川大学
  • 1篇北京航空航天...
  • 1篇永州职业技术...
  • 1篇中南大学

作者

  • 9篇李舟军
  • 7篇李梦君
  • 5篇陈火旺
  • 3篇宋震
  • 2篇刘万伟
  • 2篇周倜
  • 2篇张艳
  • 1篇王桢珍
  • 1篇杨素荣
  • 1篇谭汉松
  • 1篇刘锋
  • 1篇窦文华

传媒

  • 5篇计算机工程与...
  • 2篇计算机学报
  • 1篇计算机研究与...
  • 1篇计算机应用研...
  • 1篇计算机科学

年份

  • 1篇2008
  • 4篇2006
  • 1篇2005
  • 3篇2004
  • 1篇2003
共 10 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
非常抱歉，您的检索请求在检索结果中暂未找到，建议您：
  • *请检查输入字词有无错误
  • *请换用另外的检索字词
  • *请改用较常见的字词
  • *请减少查询字词的数量
全选 清除 导出
共1页<1>
聚类工具0