安全协议形式化分析与验证（关于安全协议形式化分析与验证介绍）

大家好,小万来为大家解答以上的问题。安全协议形式化分析与验证，关于安全协议形式化分析与验证介绍这个很多人还不知道,现在让我们一起来看看吧！

1、 《安全协议形式化分析与验证》是2019年科学出版社出版的图书。

2、作者是肖美华。

关于安全协议形式化分析与验证到此分享完毕，希望能帮助到您。

标签：

版权声明：本文由用户上传，如有侵权请联系删除！