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

admin2012-03-01 47

问题

选项 A、
B、
C、
D、

答案B

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

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

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

四级网络工程师

NCRE全国计算机四级

相关试题推荐

对于如下的程序流程，若采用语句覆盖法设计测试案例(使每条语句都至少执行1次)，则至少需要设计(56)个测试案例。
通过程序设计活动求解问题时，通常可分为问题建模、算法设计、编写代码和编译调试四个阶段。______阶段的工作与所选择的程序语言密切相关。A．问题建模和算法设计B．算法设计和编写代码C．问题建模和编译调试D．编写代码和编译调试
Word2003中的水平标尺如下图所示，图中①和②分别表示(1)；③和④分别表示(2)。(2)
在排序算法中，两两比较待排序的记录，当发现不满足顺序要求时，变更它们的相对位置，这就是(1)排序。每次从未排序的记录中挑出最小(或最大)关键码值的记录，加入到已排序记录的末尾，这是(2)排序。
满二叉树的特点是每层上的结点数都达到最大值，因此对于高度为h(h＞1)的满二叉树，其结点总数为(1)。对非空满二叉树，由根结点开始，按照先根后子树、先左子树后右子树的次序，从1、2、3、…依次编号，则对于树中编号为i的非叶子结点，其右子树的编号为(2)(高
数据流图中有四种基本图形元素，其中→表示(31)。□表示(32)。
软件的特点是(24)。正因如此，我们应对软件产品的(25)进行大力保护。
图1-5所示的微机主板的①处是(1)插槽，②处是(2)接口。
程序中的局部数据结构测试通常在(1)阶段进行，而全局数据结构测试通常在(2)阶段进行。
职员关系模式为E(Eno,Ename,Dept,Eage,Eaddr)，其中Eno表示职员号，Ename表示职员名，Dept表示职员所在部门，Eage表示年龄，Eaddr表示职员的家庭住址。建立“开发部”(DS表示开发部)职员的视图DS_E如下，要

随机试题

A、筛查B、普查C、队列研究D、生态学研究E、病例对照研究应用快速的检查方法，从人群中查出某病的可疑患者，该研究方法属于
确定解剖学方位近端或远端的标志是
根据我国现行规定，应免征土地增值税的是(　　)的房地产。
工程建设标准强制性条文中《重力式码头设计与施工规范》JTJ290第3．1．7条规定，当码头前沿底流速较大，地基土有被冲刷的危险时，重力式码头应考虑的措施有()。
生产上常用嫁接的方法进行果树的营养生殖，这种生殖的优势是能够()。
党的十七大在行政改革重要目标中提出的“四个分开”，是政企分开、政资分开、政事分开和()。
谬误是同客观事物及其发展规律相违背的认识，对于它的理解正确的是
所有制及其实现形式的关系()
Theexperimentrequiresmoremoneythan______.
A、Trytosolvealltheproblemswemeet.B、Neverstopstrivingtobeabetterself.C、Alwaystellusthatwearethebest.D、Lea

最新回复(0)

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

四级网络工程师

NCRE全国计算机四级

对于如下的程序流程，若采用语句覆盖法设计测试案例(使每条语句都至少执行1次)，则至少需要设计(56)个测试案例。

Word2003中的水平标尺如下图所示，图中①和②分别表示(1)；③和④分别表示(2)。(2)

在排序算法中，两两比较待排序的记录，当发现不满足顺序要求时，变更它们的相对位置，这就是(1)排序。每次从未排序的记录中挑出最小(或最大)关键码值的记录，加入到已排序记录的末尾，这是(2)排序。

数据流图中有四种基本图形元素，其中→表示(31)。□表示(32)。

软件的特点是(24)。正因如此，我们应对软件产品的(25)进行大力保护。

图1-5所示的微机主板的①处是(1)插槽，②处是(2)接口。

程序中的局部数据结构测试通常在(1)阶段进行，而全局数据结构测试通常在(2)阶段进行。

职员关系模式为E(Eno,Ename,Dept,Eage,Eaddr)，其中Eno表示职员号，Ename表示职员名，Dept表示职员所在部门，Eage表示年龄，Eaddr表示职员的家庭住址。建立“开发部”(DS表示开发部)职员的视图DS_E如下，要

A、筛查B、普查C、队列研究D、生态学研究E、病例对照研究应用快速的检查方法，从人群中查出某病的可疑患者，该研究方法属于

确定解剖学方位近端或远端的标志是

根据我国现行规定，应免征土地增值税的是( )的房地产。

工程建设标准强制性条文中《重力式码头设计与施工规范》JTJ290第3．1．7条规定，当码头前沿底流速较大，地基土有被冲刷的危险时，重力式码头应考虑的措施有()。

生产上常用嫁接的方法进行果树的营养生殖，这种生殖的优势是能够()。

党的十七大在行政改革重要目标中提出的“四个分开”，是政企分开、政资分开、政事分开和()。

谬误是同客观事物及其发展规律相违背的认识，对于它的理解正确的是

所有制及其实现形式的关系()

Theexperimentrequiresmoremoneythan______.

A、Trytosolvealltheproblemswemeet.B、Neverstopstrivingtobeabetterself.C、Alwaystellusthatwearethebest.D、Lea

根据我国现行规定，应免征土地增值税的是(　　)的房地产。