• 安全协议形式化分析与验证

    肖美华著
  • 出版社/出版年:科学出版社/2019.11
  • ISBN/定价：978-7-03-062633-2/CNY109.00
  • 载体形态项：160页 24cm
  • 个人责任者：肖美华
  • 学科主题：计算机网络
  • 中图法分类号：TP393.08