相关推荐

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

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

认证协议安全的形式分析

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

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

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

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

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

基于有色Petri网的SIP协议安全性研究

  • 作者:万华旭
  • 出版年:2008