您的位置： 专家智库 > >

刘峰

作品数：4 被引量：3H指数：1
供职机构：中国科学院软件研究所更多>>
发文基金：中国科学院知识创新工程国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 2篇专利
  • 1篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 2篇形式化
  • 2篇形式化验证
  • 2篇形式化验证方...
  • 2篇子目标
  • 2篇网络
  • 2篇网络环境
  • 2篇安全协议
  • 2篇层次式
  • 1篇视觉密码
  • 1篇数字水印
  • 1篇水印
  • 1篇图像
  • 1篇图像处理
  • 1篇秘密共享
  • 1篇密码
  • 1篇纠错
  • 1篇纠错编码
  • 1篇安全操作
  • 1篇安全操作系统
  • 1篇操作系

机构

  • 4篇中国科学院软...

作者

  • 4篇刘峰
  • 2篇彭建华
  • 2篇薛锐
  • 1篇范植华
  • 1篇佘春东
  • 1篇何慧
  • 1篇胡娟

传媒

  • 1篇计算机工程

年份

  • 1篇2013
  • 1篇2011
  • 1篇2009
  • 1篇2005
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
一种安全协议形式化验证方法
本发明提供了一种安全协议的形式化验证方法，其步骤包括：1)在设定的网络环境下，给定一个安全协议；2)根据安全协议执行步骤实现的功能对安全协议进行分层；3)将期望的安全目标分解为与各分层对应的子目标；4)依次对各分层进行建...
薛锐彭建华刘峰
文献传递
增强Linux系统安全性的综合实现方式被引量：3
2005年
综合多种安全模型的优点,提出了一种基于Linux内核的安全操作系统分层实现机制,从而弥补原始Linux内核安全性较差的缺点,为安全性要求较高的场合提出了一种可行的方案。
胡娟佘春东范植华刘峰何慧
关键词：安全操作系统
视觉密码方案的构造
视觉密码学是在最近十余年间逐渐发展起来的新型密码学分支。近年从事视觉密码学研究的学者越来越多，研究结果频现于三大密码学议和Journal ofCryptology，Designs，codes and cryptograp...
刘峰
关键词：视觉密码秘密共享图像处理数字水印纠错编码
一种安全协议形式化验证方法
本发明提供了一种安全协议的形式化验证方法，其步骤包括：1)在设定的网络环境下，给定一个安全协议；2)根据安全协议执行步骤实现的功能对安全协议进行分层；3)将期望的安全目标分解为与各分层对应的子目标；4)依次对各分层进行建...
薛锐彭建华刘峰
全选 清除 导出
共1页<1>
聚类工具0