登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

基于串空间模型分析与验证密码安全协议
出版社：中国科学院
出版年：2004
作者：石昊苏
资源类型：图书
细分类型：中文文献,学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

SNMPv3基于安全远程密码协议的安全模型
  • 作者：高良涛
  • 出版年：2002
...

基于TL-EPVM模型的加密协议分析基于时序逻辑的加密协议描述与验证
  • 作者：肖得琴
  • 出版社：中国科学院
  • 出版年：1999
...

基于PKI的强安全认证密钥交换 :安全模型、协议构造和安全分析 :security models
  • 作者：杨铮
  • ISBN：9787568922210
  • 出版社：重庆大学出版社
  • 出版年：2021
...

量子密码协议的设计及分析
  • 作者：吕欣
  • 出版年：2005
...

密码协议实现的逻辑安全分析与设计
  • 作者：吴福生
  • ISBN：9787113290917
  • 出版社：中国铁道出版社,中国铁道出版社有限公司
  • 出版年：2022
...

密码协议 :基于可信任新鲜性的安全性分析 :security analysis based on trusted freshne
  • 作者：董玲
  • ISBN：9787040362503
  • 出版社：高等教育出版社
  • 出版年：2012