赞题库-背景图
填空题

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

【参考答案】

形式化方法