单项选择题

以下关于网络安全漏洞的描述中,哪项是错误的______。

A.网络服务是通过各种协议来完成的
B.形式化证明的方法可有效防范黑客攻击
C.网络协议的漏洞是Internet面临的一个严重安全问题
D.我们常用的telnet、FTP、HTTP协议,在安全方面都存在一定的问题