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

admin2012-03-01 65

问题

选项 A、
B、
C、
D、

答案B

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

转载请注明原文地址:https://kaotiyun.com/show/2E8Z777K

本试题收录于：四级网络工程师题库NCRE全国计算机四级分类

四级网络工程师

NCRE全国计算机四级

相关试题推荐

以下文件格式中_____________属于声音文件格式。
在Windows的cmd命令行窗口中，输入(67)命令将会得到如下图所示的结果。
发布X.200建议的国际标准化组织是(5)。制定开放系统互连七层参考模型(OSI)的国际标准化组织是(6)。作为最简单的防火墙——分组过滤器在该模型的(7)层检查出入地址；网桥是在该模型(8)层进行网络间中继的互连设备；TCP则是Internet中常用的(
JACKSON方法是在软件开发过程中常用的方法，使用JACKSON方法时可以得到(7)，使用JACKSON方法时可以实现(8)。
设机器码的长度为8，X为带符号纯小数，Y为带符号纯整数，[X]原=11111111，[Y]补=11111111，则X的十进制真值为(13)______，]，Y的十进制真值为(14)_____。(13)______A．1/128B．-1/1
某计算机的地址线、数据线均为8位，一条两字节的相对寻址的无条件转移指令，存于内存20H和21H单元中，指令操作码存放在20H中，存放在21H中的位移量为15H。则取该指令时PC(程序设计数器)为(1)H，该指令执行结束时PC为(2)H。
内存地址从7000H到73PPH，共有(268)个内存单元。若该内存每个存贮单元可存储16位二进制数，并用4片存储器芯片构成，则芯片的容量是(269)。
某网络结构如图5-8所示。在Windows操作系统中，配置Web服务器应当安装的软件是(1)，在配置网络属性时，PCI的默认网关应该设置为(2)，首选DNS服务器应当设置为(3)。
有多个设备可以实现不同网络或网段的互连，工作在开放系统互连参考模型物理层、数据链路和网络层的互连设备分别称为(1)、(2)、(3)。
HTTP协议工作在(35)协议之上，上下层协议默认时，使用(36)端口进行服务识别。HT-　TP双方的一次会话与上次会话是(37)，即协议是无状态的。从交换信息的整体性说是(38)，SHT-　TP对HTTP的扩展在于(39)。

随机试题

被称为“汉之飞将军”的是________。
Thegrassisgreenerontheothersideofthehill.
下列哪项属于间接凝集反应
A．循环抗原检测B．肥达反应C．环卵沉淀反应D．全血干扰素测定E．抗链球菌溶血素“O”伤寒沙门菌感染检测
最可能对类风湿关节炎滑膜切除术的结果造成不利影响的因素是
医生为急性乙型肝炎患者肌内注射后，手指不慎被针头刺伤。该医生应立即采取的措施是
口服奥司他韦(达菲)治疗流感宜及早用药，较为有效的用药时间是症状出现的
房地产贷款的原则:流动性原则、安全性原则、盈利性原则、物资保证原则。()
操作风险主要是由内部人员因素和技术因素造成，因此操作风险的成因源于内部因素，而不是外部因素。()
业务招待费最高不得超过当年销售收入的(　　)。下列关于税前列支的说法中不正确的有(　　)。

最新回复(0)

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

四级网络工程师

NCRE全国计算机四级

以下文件格式中_____________属于声音文件格式。

在Windows的cmd命令行窗口中，输入(67)命令将会得到如下图所示的结果。

JACKSON方法是在软件开发过程中常用的方法，使用JACKSON方法时可以得到(7)，使用JACKSON方法时可以实现(8)。

设机器码的长度为8，X为带符号纯小数，Y为带符号纯整数，[X]原=11111111，[Y]补=11111111，则X的十进制真值为(13)______，]，Y的十进制真值为(14)_____。(13)______A．1/128B．-1/1

某计算机的地址线、数据线均为8位，一条两字节的相对寻址的无条件转移指令，存于内存20H和21H单元中，指令操作码存放在20H中，存放在21H中的位移量为15H。则取该指令时PC(程序设计数器)为(1)H，该指令执行结束时PC为(2)H。

内存地址从7000H到73PPH，共有(268)个内存单元。若该内存每个存贮单元可存储16位二进制数，并用4片存储器芯片构成，则芯片的容量是(269)。

某网络结构如图5-8所示。在Windows操作系统中，配置Web服务器应当安装的软件是(1)，在配置网络属性时，PCI的默认网关应该设置为(2)，首选DNS服务器应当设置为(3)。

有多个设备可以实现不同网络或网段的互连，工作在开放系统互连参考模型物理层、数据链路和网络层的互连设备分别称为(1)、(2)、(3)。

HTTP协议工作在(35)协议之上，上下层协议默认时，使用(36)端口进行服务识别。HT- TP双方的一次会话与上次会话是(37)，即协议是无状态的。从交换信息的整体性说是(38)，SHT- TP对HTTP的扩展在于(39)。

被称为“汉之飞将军”的是________。

Thegrassisgreenerontheothersideofthehill.

下列哪项属于间接凝集反应

A．循环抗原检测B．肥达反应C．环卵沉淀反应D．全血干扰素测定E．抗链球菌溶血素“O”伤寒沙门菌感染检测

最可能对类风湿关节炎滑膜切除术的结果造成不利影响的因素是

医生为急性乙型肝炎患者肌内注射后，手指不慎被针头刺伤。该医生应立即采取的措施是

口服奥司他韦(达菲)治疗流感宜及早用药，较为有效的用药时间是症状出现的

房地产贷款的原则:流动性原则、安全性原则、盈利性原则、物资保证原则。()

操作风险主要是由内部人员因素和技术因素造成，因此操作风险的成因源于内部因素，而不是外部因素。()

业务招待费最高不得超过当年销售收入的( )。下列关于税前列支的说法中不正确的有( )。

设机器码的长度为8，X为带符号纯小数，Y为带符号纯整数，[X]原=11111111，[Y]补=11111111，则X的十进制真值为(13)____，]，Y的十进制真值为(14)_。(13)____A．1/128B．-1/1

HTTP协议工作在(35)协议之上，上下层协议默认时，使用(36)端口进行服务识别。HT-　TP双方的一次会话与上次会话是(37)，即协议是无状态的。从交换信息的整体性说是(38)，SHT-　TP对HTTP的扩展在于(39)。

业务招待费最高不得超过当年销售收入的(　　)。下列关于税前列支的说法中不正确的有(　　)。