目前保证协议安全性,有两种基本方法:一种是用()来证明一个协议是安全的;另一种是设计者用经验来

12 查阅

目前保证协议安全性,有两种基本方法:一种是用( )来证明一个协议是安全的;另一种是设计者用经验来分析协议的安全性。

参考答案:

形式化方法形式化方法

计算机四级