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

admin2012-03-01 38

问题

选项 A、
B、
C、
D、

答案B

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

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

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

四级网络工程师

NCRE全国计算机四级

相关试题推荐

行为型设计模式描述类或对象如何交互和如何分配职责。以下_____________模式是行为型设计模式。
A、 B、 C、 D、 A
程序中凡是引用(1)对象的地方都可以使用(2)对象代替。
堆排序是一种基于______的排序方法，______不是堆。
在排序算法中，两两比较待排序的记录，当发现不满足顺序要求时，变更它们的相对位置，这就是(1)排序。每次从未排序的记录中挑出最小(或最大)关键码值的记录，加入到已排序记录的末尾，这是(2)排序。
按照制定标准的不同层次和适应范围，标准可分为国际标准、国家标准、行业标准和企业标准等，(1)制定的标准是国际标准。我国国家标准分为强制性国家标准和推荐性国家标准，强制性国家标准的代号为(2)。
某教授在名为“XXXX数字图书馆”的网站上发现了自己的作品。这些作品被放上网络向公众传播，他对此事并不知情，也根本没有向该网站做出任何授权。则该网站的做法是否侵权(12)，在该方面我国相关的法律文件是(13)。
设有关系Students(学号，姓名，年龄，性别，系名，家庭住址)，如果要查询姓“李”的且家庭住址包含“科技路”的学生学号、姓名以及所在系，则对应的SELECT语句如下；SELECT学号，姓名，系名FROMStudentsWHER
在WindowsXP中，可以使用(1)来浏览日志文件，其中包含有(2)、安全性日志和系统日志。
在下面的程序代码中，a是整型全局变量，b是整型局部变量，x是整数形参，若调用com()时以引用调用的方式传递信息，则输出结果为(1)；若调用com()进以传值的方式传递信息，则输出结果为(2)。

随机试题

以下哪个不是孤独症的高危因素
监理单位接受建设单位委托对工程项目实施全过程监理时，需要在设计准备阶段(　　)。
会计科目按其所()不同，分为总分类科目和明细分类科目。
某公司经营规模迅速扩张，但由于人员储备不足，造成很多重要岗位无人填补，这说明该公司的()工作没有做好。（2008年真题）
甲股份有限公司(以下简称“甲公司”)为一家从事贵金属进口、加工生产及相关产品销售的企业，其2×15年发生了下列交易或事项：(1)为促进产品销售，甲公司于2×15年推出贵金属产品以旧换新业务。甲公司在销售所生产的黄金饰品时，承诺客户在购买后任一时点，若
中华人民共和国16周岁以上的公民普通护照有效期一般为()年。
(1)新来的年轻鸬鹚突然集体罢工，不肯下海(2)老鸬鹚因为老得不能出海了，被杀掉炖汤(3)渔夫百思不得其解，抱怨自己待它们不薄(4)一群鸬鹚，辛辛苦苦跟着一位渔夫十几年(5)因为老了，还不落个老鸬鹚一样的下场?
窗体上有1个名称为Commandl的命令按钮，事件过程如下：PrivateSubCommandl_Click()DimhumAsInteger,xAsIntegernum：Val(InputBox(“请输入一个正整数”))Selec
Whyisthewomancalling?
Cultureisactivityofthought,andreceptivenesstobeautyandhumanefeeling.【1】ofinformationhavenothingtodowithit.Am

最新回复(0)

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

四级网络工程师

NCRE全国计算机四级

行为型设计模式描述类或对象如何交互和如何分配职责。以下_____________模式是行为型设计模式。

A、 B、 C、 D、 A

程序中凡是引用(1)对象的地方都可以使用(2)对象代替。

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

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

按照制定标准的不同层次和适应范围，标准可分为国际标准、国家标准、行业标准和企业标准等，(1)制定的标准是国际标准。我国国家标准分为强制性国家标准和推荐性国家标准，强制性国家标准的代号为(2)。

某教授在名为“XXXX数字图书馆”的网站上发现了自己的作品。这些作品被放上网络向公众传播，他对此事并不知情，也根本没有向该网站做出任何授权。则该网站的做法是否侵权(12)，在该方面我国相关的法律文件是(13)。

设有关系Students(学号，姓名，年龄，性别，系名，家庭住址)，如果要查询姓“李”的且家庭住址包含“科技路”的学生学号、姓名以及所在系，则对应的SELECT语句如下；SELECT学号，姓名，系名FROMStudentsWHER

在WindowsXP中，可以使用(1)来浏览日志文件，其中包含有(2)、安全性日志和系统日志。

在下面的程序代码中，a是整型全局变量，b是整型局部变量，x是整数形参，若调用com()时以引用调用的方式传递信息，则输出结果为(1)；若调用com()进以传值的方式传递信息，则输出结果为(2)。

以下哪个不是孤独症的高危因素

监理单位接受建设单位委托对工程项目实施全过程监理时，需要在设计准备阶段( )。

会计科目按其所()不同，分为总分类科目和明细分类科目。

某公司经营规模迅速扩张，但由于人员储备不足，造成很多重要岗位无人填补，这说明该公司的()工作没有做好。（2008年真题）

中华人民共和国16周岁以上的公民普通护照有效期一般为()年。

(1)新来的年轻鸬鹚突然集体罢工，不肯下海(2)老鸬鹚因为老得不能出海了，被杀掉炖汤(3)渔夫百思不得其解，抱怨自己待它们不薄(4)一群鸬鹚，辛辛苦苦跟着一位渔夫十几年(5)因为老了，还不落个老鸬鹚一样的下场?

窗体上有1个名称为Commandl的命令按钮，事件过程如下：PrivateSubCommandl_Click()DimhumAsInteger,xAsIntegernum：Val(InputBox(“请输入一个正整数”))Selec

Whyisthewomancalling?

Cultureisactivityofthought,andreceptivenesstobeautyandhumanefeeling.【1】ofinformationhavenothingtodowithit.Am

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

监理单位接受建设单位委托对工程项目实施全过程监理时，需要在设计准备阶段(　　)。