【正确答案】 B

【答案解析】[解析] 目前保证协议安全性有两种基本方法：一种是用形式化来证明一个协议是安全的；另一种是设计者用经验来分析协议的安全性。形式化证明的方法是人们所希望的，但一般的协议安全性也是不可判定的，现在常用的是漏洞分析。网络服务是通过各种协议来完成的，所以网络协议的漏洞是Internet面临的一个严重的安全问题。