单选题
以下关于网络安全漏洞的描述中，哪项是错误的______。
A、
网络服务是通过各种协议来完成的
B、
形式化证明的方法可有效防范黑客攻击
C、
网络协议的漏洞是Internet面临的一个严重安全问题
D、
我们常用的telnet、FTP、HTTP协议，在安全方面都存在一定的问题
【正确答案】
B
【答案解析】
[解析] 形式化证明方法用来证明一个协议是安全的，它是人们所希望的，但是一般的协议安全性是不可判定的，所以形式化证明的方法不能有效防范黑客攻击，故选B。
提交答案
关闭