正确答案: B

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

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

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

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

举一反三的答案和解析：

[单选题]在SQL语句中，下列能实现投影操作的是——。

SELECT

解析：解析：SELECT语句执行数据库的查询操作，是DMI-．语句中的核心部分。SELECT语句的作用是让数据库服务器根据客户要求搜索出所需要的数据，并将形成的结果集按规定格式返回给用户。SELECT语句具有强大的查询功能，能实现数据查询、结果排序、分组统计以及多表连接查询等功能。SELECT语句能实现投影操作。

[多选题]下列关于进程优先级的叙述中，哪些是正确的？

一般地，系统进程的优先级应高于用户进程的优先级

若采用静态优先级，即使进程等待的时间增加，其优先级也不会改变

采用动态优先级，如果某进程长时间得不到运行，系统会额外提升它的优先级

解析：BCE

[单选题]8086CPU构成的微机系统把内存分为若干个逻辑段，每个逻辑段的大小不超过

64KB

[单选题]以下属于网络管理协议的是——。

SNMP

解析：解析：SNMP的中文名称是简单网络管理协议；UDP是用户数据报协议；HTrP是超文本传输协议；DH.CP是动态主机配置协议。由上可知，答案选A)。

[单选题]下面关于完全备份的说法错误的是( )。

完全备份比较复杂，不易理解

解析：(34)A) 【解析】完全备份是一种最基本、也是最简单的备份方式。这种备份方式的好处就是很直观，容易理解、缺点：①因为备份所有的数据，每次备份的工作量很大，需要大量的备份介质； ②如果完全备份进行得比较频繁，在备份文件中就有大量的数据是重复的；而这些重复的数据占用了大量的空间；③备份大量数据，所需时间会较长。因此这种备份不能进行得太频繁，只能每隔一段较长时间才进行一次完整的备份。

[单选题]在学生选课关系SC(学号姓名，年龄，课程，学分，成绩)中，有：学号，课程→成绩

1NF

解析：解析：对于关系模式R(F，U)，如果R的每一个属性值都是不可分的数据项(原子项)，则此关系模式为第一范式。显然，关系SC中每一项属性均不可再分，但是成绩不能由学生id唯一决定，即成绩不完全依赖于学生id，所以不满足第二范式。这个选课关系表会存在如下问题：

[单选题]以下关于规则需求分析说法正确的是______。①分析从整体功能出发 ②涉及系统内部行为

①③④