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

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

答案说明：本题目答案来自网络整理或转载，最终答案请以官网为准。

答 案：形式化方法
形式化方法