正确答案: B

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

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

解析：解析：目前保证协议安全性有两种基本方法：一种是用形式化来证明一个协议是安全的；另一种是设计者用经验来分析协议的安全性。形式化证明的方法是人们所希望的，但一般的协议安全性也是不可判定的，现在常用的是漏洞分析。网络服务是通过各种协议来完成的，所以网络协议的漏洞是Internet面临的一个严重的安全问题。

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

举一反三的答案和解析：

[单选题]以下关于网络运行环境的描述中，哪个是错误的?——

网络运行环境主要包括网络和电源两个部分

解析：解析：网络运行环境主要包括机房和电源两个部分，不是网络，A)、C)、D)均描述正确，故选B)。(5)

[单选题]若要使寄存器AL中的高4位不变，低4位为0，所用指令为

AND AL,0F0H

[单选题]下列关于数据库重构的描述中，不正确的是——一。

数据库重构包括重新设计数据库及其应用程序

解析：解析：数据库重构不是重新设计数据库及其应用程序，而是对数据库的逻辑结构作必要的小范围改变。

[单选题]温切斯特磁盘主要特点是

采用密封组合方式，将磁头、盘片、驱动部件以及读/写电路等组装成一个不能随意拆卸的整体

[单选题]如果各个场地采用同一类型的数据结构，使用不同型号DBMS，那么这种分布式数据库系统的类型属于——。

同构异质型

解析：解析：如果各个场地采用同一类型的数据结构，使用不同型号DBMS，那么这种分布式数据库系统的类型属于同构异质型。

[单选题]管理评审的结果是______。

提交管理评审报告

解析：解析：管理评审是对项目管理体系的适应性和管理活动的有效性进行评价。软件管理评审的结果是提交管理评审报告，该报告在一定时间内将成为组织开展各项管理活动的重要依据。这是一个组织在一定时间段内围绕最高管理者战略性决策开展各项管理、经营活动的重要依据

[多选题]如果芯片8255A的方式选择控制字为88H，则8255A各端口的工作方式是

端口A工作在方式0输入

端口B工作在方式0输出

解析：AD