您的位置: 专家智库 > >

文献类型

  • 2篇期刊文章
  • 1篇会议论文

领域

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

主题

  • 1篇信息隐藏
  • 1篇形式化
  • 1篇隐写
  • 1篇隐写分析
  • 1篇隐写分析技术
  • 1篇椭圆曲线密码
  • 1篇网络
  • 1篇网络安全
  • 1篇逻辑
  • 1篇逻辑推理
  • 1篇密码
  • 1篇密码算法
  • 1篇互联
  • 1篇互联网
  • 1篇计算机
  • 1篇计算机网
  • 1篇计算机网络
  • 1篇分析技术
  • 1篇安全协议

机构

  • 3篇解放军理工大...

作者

  • 3篇刘宇锋
  • 2篇陈鹏
  • 2篇王衍波
  • 1篇徐敏
  • 1篇潘娜
  • 1篇王凝
  • 1篇张一丹
  • 1篇王小俊
  • 1篇端木庆峰
  • 1篇沈文鑫

传媒

  • 2篇网络安全技术...
  • 1篇第十七届全国...

年份

  • 2篇2008
  • 1篇2007
3 条 记 录,以下是 1-3
排序方式:
安全协议形式化分析与验证研究
安全协议形式化分析与验证技术是计算机网络安全领域的重大课题之一。形式化方法多种多样。文中首先描述了形式化分析的前提,然后采用对比的方式详细介绍了目前流行的几种形式化验证技术的验证过程及相应的优缺点,并介绍了一种新的验证技...
张一丹沈文鑫刘宇锋潘娜
关键词:逻辑推理计算机网络网络安全安全协议
文献传递
互联网隐写分析系统的研究与设计
2008年
本文在利用软件分析技术对互联网上流行的隐写工具进行研究的基础上,总结了对这些隐写工具产生的隐写文件的一般检测方法,并提出了开发一种互联网隐写分析系统的思想。
陈鹏王衍波端木庆峰刘宇锋徐敏
关键词:信息隐藏隐写分析技术
基于LiDIA库的Menezes-Vanstone密码算法的实现
2008年
本文简单介绍了LiDIA库,分析了RSA、Menezes-Vanstone密码算法在LiDIA下的实现,并在实际网络通信中加以简单应用。结果表明,LiDIA标准算法库的运算效率高,对于密码体制的实现以及保密通信有着重要的实用价值。
刘宇锋王衍波王小俊陈鹏王凝
关键词:椭圆曲线密码
共1页<1>
聚类工具0