下列选项中，关于网络安全漏洞的说法不正确的是( )。

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

公务员职业道德的根本价值取向是（ ）

A．提高工作效率

B．提升道德境界

C．维护社会公正

D．培育高尚人格