[单选题]以下关于网络安全漏洞的描述中，哪项是错误的______。

正确答案 ：B

形式化证明的方法可有效防范黑客攻击

解析：解析：形式化证明方法用来证明一个协议是安全的，它是人们所希望的，但是一般的协议安全性是不可判定的，所以形式化证明的方法不能有效防范黑客攻击，故选B。

[单选题]设集合A={a,b,c}，A上的二元关系R={, c,c>}，下面命题中为的是

正确答案 ：D

R不是偏序关系

查看原题 点击获取本科目所有试题