相关推荐

安全协议实施安全性自动化分析与验证

  • 作者:孟博
  • ISBN:9787030625069
  • 出版社:科学出版社
  • 出版年:2019

车联网安全认证协议与算法

  • 作者:周由胜
  • ISBN:9787030685193
  • 出版社:科学出版社
  • 出版年:2022

认证协议安全的形式分析

  • 作者:石春晖
  • 出版年:1998

身份认证安全协议理论与应用

  • 作者:陈志德
  • ISBN:9787121251245
  • 出版社:电子工业出版社
  • 出版年:2015