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

admin2012-03-01 63

问题

选项 A、
B、
C、
D、

答案B

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

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

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

四级网络工程师

NCRE全国计算机四级

相关试题推荐

以下叙述中，正确的是()。
堆排序是一种基于______的排序方法，______不是堆。
逆波兰式的特点是：表示时可以不用括号，而且可以用基于(106)的求值过程进行计算。与逆波兰式ab-cd+*对应的中缀表达式是(107)。
数据库系统从广义的角度看，应该由(1)组成。数据字典中存放(2)，数据库管理系统对应用程序的操作都要通过数据字典来进行。
在了解程序内部结构和流程后，通常采用(1)验证程序内部逻辑是否符合设计要求，此时可使用(2)技术设计测试案例。
在Word编辑状态下，将正文中所有“internetexplorer”改写为“InternetExplorer”，常选用编辑子菜单上的“(1)”命令：单击“工具”栏中的(2)按钮可以在光标所在处插入超链接。
设关系模式SCG(S#,C#,grade)中S#为学生学号，C#为课程号，grade为某学号学生学某号课程的考试成绩。今要查询每门课程的平均成绩，且要求查询的结果按平均成绩升序排列，平均成绩相同时，按课程号降序排列，则用SQL查询语言应为(1)。
当手动设置TCP/IP协议的属性时，需要指定3个IP地址，即本机地址，(248)地址和(249)的地址。
通常，文件的逻辑结构可以分为两大类：无结构的流式文件和有结构的(164)。(165)组　织方式，既适合于交互方式应用，也适合于批处理方式应用。
以下不属于性能需求分析的内容的是______。A)数据操作响应时间B)系统吞吐量C)每TPS代价值D)存储需求分析

随机试题

【案例】患者男，65岁。诊断为肺炎入院，应用抗生素治疗后未见好转，3天后突然出现呼吸急促，烦躁，出大汗。体检：呼吸42次／分，血压98／70mmHg，脉搏102次／分，口唇发绀，双肺闻及水泡音。呼吸衰竭患者气管插管或气管切开的适应证是
下列各句中，加着横线的词属于范围副词的一句是【】
对鼓膜传音功能不正确的叙述是
A．语音嘶哑B．语音重浊C．声高息粗D．声微息弱E．语言流利
进口设备检验鉴定费属于()。
“磁盘碎片整理程序”所具有的功能有()。
图文混排是Word的特色功能之一。下列表述中，不正确的是()。
如果有2000比特的数据通过一个1Mbps的网卡进行传输，所产生的发送时延是()。
数据库系统中可能会发生各种各样的故障。这些故障主要有四类，即：事务故障、系统故障、介质故障和【】。
TheAmericanfarmershavealwaysbeenindependentandhard-working.Intheeighteenthcenturyfarmerswerequiteself-sufficien

最新回复(0)

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

四级网络工程师

NCRE全国计算机四级

以下叙述中，正确的是()。

堆排序是一种基于______的排序方法，______不是堆。

逆波兰式的特点是：表示时可以不用括号，而且可以用基于(106)的求值过程进行计算。与逆波兰式ab-cd+*对应的中缀表达式是(107)。

数据库系统从广义的角度看，应该由(1)组成。数据字典中存放(2)，数据库管理系统对应用程序的操作都要通过数据字典来进行。

在了解程序内部结构和流程后，通常采用(1)验证程序内部逻辑是否符合设计要求，此时可使用(2)技术设计测试案例。

在Word编辑状态下，将正文中所有“internetexplorer”改写为“InternetExplorer”，常选用编辑子菜单上的“(1)”命令：单击“工具”栏中的(2)按钮可以在光标所在处插入超链接。

当手动设置TCP/IP协议的属性时，需要指定3个IP地址，即本机地址，(248)地址和(249)的地址。

通常，文件的逻辑结构可以分为两大类：无结构的流式文件和有结构的(164)。(165)组 织方式，既适合于交互方式应用，也适合于批处理方式应用。

以下不属于性能需求分析的内容的是______。A)数据操作响应时间B)系统吞吐量C)每TPS代价值D)存储需求分析

下列各句中，加着横线的词属于范围副词的一句是【】

对鼓膜传音功能不正确的叙述是

A．语音嘶哑B．语音重浊C．声高息粗D．声微息弱E．语言流利

进口设备检验鉴定费属于()。

“磁盘碎片整理程序”所具有的功能有()。

图文混排是Word的特色功能之一。下列表述中，不正确的是()。

如果有2000比特的数据通过一个1Mbps的网卡进行传输，所产生的发送时延是()。

数据库系统中可能会发生各种各样的故障。这些故障主要有四类，即：事务故障、系统故障、介质故障和【】。

TheAmericanfarmershavealwaysbeenindependentandhard-working.Intheeighteenthcenturyfarmerswerequiteself-sufficien

堆排序是一种基于的排序方法，不是堆。

通常，文件的逻辑结构可以分为两大类：无结构的流式文件和有结构的(164)。(165)组　织方式，既适合于交互方式应用，也适合于批处理方式应用。