首页 › 答案 › 题库 › 才高八斗

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

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