【名词&注释】
安全性(safety)、安全问题(security problem)、软件缺陷(software defect)、网络服务(network service)、性能需求(performance requirements)、用户数(user number)、形式化证明、快捷键(shortcut key)、网络安全漏洞(network security holes)、急剧下降(sharp drop)
[单选题]以下关于网络安全漏洞(network security holes)的描述中,哪项是错误的?——
A. 网络服务是通过各种协议来完成的
B. 形式化证明的方法可有效防范黑客攻击
C. 网络协议的漏洞是Intemet面临的一个严重安全问题
D. 我们常用的’relnet、FFP、HTFP协议,在安全方面都存在一定的问题