位置：成果数据库 > 著作 > 著作详情页
安全协议分析的逻辑方法
  • 所属机构名称：中国科学院信息工程研究所
  • 时间：2013
  • 成果类型：著作
  • 出版社：科学出版社
  • 相关项目：符号化通用复合的密码协议分析方法研究
作者： 雷新锋, 薛锐|
同著作项目
符号化通用复合的密码协议分析方法研究
期刊论文 17 会议论文 11 著作 3
同项目著作
公钥密码系统的构造方法
密码协议分析的逻辑方法