咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 1 篇 学位论文
  • 1 篇 会议

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 理学
    • 1 篇 数学
  • 1 篇 工学
    • 1 篇 网络空间安全
  • 1 篇 军事学
    • 1 篇 军队指挥学

主题

  • 2 篇 密码模块api
  • 1 篇 检测算法
  • 1 篇 项重写形式化模型
  • 1 篇 形式化模型
  • 1 篇 安全机制
  • 1 篇 api攻击
  • 1 篇 合模式
  • 1 篇 pkcs#11
  • 1 篇 形式化验证

机构

  • 1 篇 中国科学院研究生...
  • 1 篇 解放军信息工程大...
  • 1 篇 中国科学院信息工...

作者

  • 1 篇 刘波
  • 1 篇 吴晖
  • 1 篇 陈华

语言

  • 2 篇 中文
检索条件"主题词=密码模块API"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
密码模块api形式化验证技术研究
密码模块API形式化验证技术研究
收藏
分享
引用
作者： 吴晖 解放军信息工程大学
学位级别：硕士
长期以来,密码模块api的安全性没有得到人们的充分重视和研究。直到2000年以后,随着api攻击在大多数的密码模块中不断发现,密码模块api的安全性才逐渐引起了人们的广泛注意和研究。随着研究的深入,使用形式化方法对密码模块api安全性进... 详细信息
来源： 评论
一种基于项重写的密码模块api安全性检测算法
一种基于项重写的密码模块API安全性检测算法
收藏
分享
引用
中国密码学会2012年会
作者： 刘波 陈华 中国科学院研究生院 北京100049 中国科学院信息工程研究所 北京100093
针对密码模块api的形式化验证,提出了一种基于项重写形式化模型的检测算法.该算法利用符号化及广度优先搜索方法,使用项重写规则对敌手的初始知识集不断进行匹配和扩展,直到找到攻击路径或者搜索完状态空间.以密码模块api标准PKCS＃ll... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件