相关推荐

密码模块API形式化分析技术研究

  • 作者:刘波
  • 出版社:中国科学院
  • 出版年:2013

可信平台模块安全性分析与应用

  • 作者:陈军
  • 出版年:2006

基于串空间模型分析与验证密码安全协议

  • 作者:石昊苏
  • 出版社:中国科学院
  • 出版年:2004

泄漏场景下基于MLWE问题格密码方案的安全性分析

  • 作者:方磊磊
  • 出版社:中国科学院信息工程斫究所,中国科学院信息工程趼究所,中国科学院信息工程研究所
  • 出版年:2023

ARX结构密码算法分析模型的改进及应用

  • 作者:秦海文
  • 出版社:中国科学院信息工程研究所
  • 出版年:2022