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

admin2012-03-01 71

问题

选项 A、
B、
C、
D、

答案B

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

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

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

四级网络工程师

NCRE全国计算机四级

相关试题推荐

通过程序设计活动求解问题时，通常可分为问题建模、算法设计、编写代码和编译调试四个阶段。______阶段的工作与所选择的程序语言密切相关。A．问题建模和算法设计B．算法设计和编写代码C．问题建模和编译调试D．编写代码和编译调试
Windows系统中定义了一些用户组，拥有完全访问权的用户组是________。
若in、out分别表示入队、出队操作，初始队列为空且元素a、b、c依次入队，则经过操作序列in、in、out、out、in、out之后，得到的出队序列为(30)。
瀑布模型是传统的软件开发过程模型，它强调各阶段的严格性，其主要缺点是(51)。
声音信号的一个基本参数是频率，它是指声波每秒钟变化的次数，用Hz表示。人耳能听得到的声音信号的频率范围是_________。
存储一个24×24点阵的汉字(每个点占用1　bit)，需用(20)个字节。
若码值PPH是一个整数的补码表示，则该整数的真值为(121)：若码值PPH是一个整数的原码表示，则该整数的真值为(122)。
F的逻辑表达式为F=((A+B).X)((A.B).Y)，当(95)时，F=AB；当(96)时，　F=A∨B。
数据库系统从广义的角度看，应该由(1)组成。数据字典中存放(2)，数据库管理系统对应用程序的操作都要通过数据字典来进行。
Windows是常见的具有图形界面的(81)运行方式的操作系统。其中Windows　Server　2003适用的场合是(82)。将正在运行的应用程序窗口最小化后，该应用程序处于(83)状态。(84)是在体系结构上采用了客户机/服务器模式的网络操作系统。

随机试题

历史的启示：俗话说：“尺有所短，寸有所长”，“黄金无足色，白玉有微瑕。”我国清代有一位名叫杨时斋的将军，他深谙此道并应用于选才用人，使军中无废才。他让聋子当侍者，让哑巴送密信，让瞎子伏地听，让瘸子守炮座。历史上还有很多这样的事例，如美国南北战争时期，林肯任
下列属于防黏材料的是()。
患者，男，38岁，感染性心内膜炎。患者住院期间突然出现失语，吞咽困难、瞳孔大小不等，神志模糊，最可能出现的并发症是
王某、赵某于2007年1月7日共同抢劫了一名个体户李某，在抢劫中，持匕首刺中李某的腹部，致李某失血过多而死亡。该案经公安机关侦查终结后，移送人民检察院审查起诉，人民检察院以抢劫罪将二人起诉到某市中级人民法院。请根据上述情况，回答以下问题。王某、赵某委托
房地产抵押双方办理抵押登记时需要提交的资料包括()。
某酒厂为增值税一般纳税人，主要从事粮食白酒的生产和销售业务。2015年3月该厂发生以下经济业务：(1)5日，向农户购进其自产的粮食，开具的农产品收购发票上注明的价款为50000元，货款以现金支付。(2)10日，外购一批包装材料，取得的增值税专用发票上注
通知的标题要素中可以省略的是()。
合伙企业的合伙人可以是()。
下列关于C++流的描述中，错误的是()。
若查询的设计如下，则查询的功能是(　　)。

最新回复(0)

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

四级网络工程师

NCRE全国计算机四级

Windows系统中定义了一些用户组，拥有完全访问权的用户组是________。

若in、out分别表示入队、出队操作，初始队列为空且元素a、b、c依次入队，则经过操作序列in、in、out、out、in、out之后，得到的出队序列为(30)。

瀑布模型是传统的软件开发过程模型，它强调各阶段的严格性，其主要缺点是(51)。

声音信号的一个基本参数是频率，它是指声波每秒钟变化的次数，用Hz表示。人耳能听得到的声音信号的频率范围是_________。

存储一个24×24点阵的汉字(每个点占用1 bit)，需用(20)个字节。

若码值PPH是一个整数的补码表示，则该整数的真值为(121)：若码值PPH是一个整数的原码表示，则该整数的真值为(122)。

F的逻辑表达式为F=((A+B).X)((A.B).Y)，当(95)时，F=AB；当(96)时， F=A∨B。

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

Windows是常见的具有图形界面的(81)运行方式的操作系统。其中Windows Server 2003适用的场合是(82)。将正在运行的应用程序窗口最小化后，该应用程序处于(83)状态。(84)是在体系结构上采用了客户机/服务器模式的网络操作系统。

下列属于防黏材料的是()。

患者，男，38岁，感染性心内膜炎。患者住院期间突然出现失语，吞咽困难、瞳孔大小不等，神志模糊，最可能出现的并发症是

房地产抵押双方办理抵押登记时需要提交的资料包括()。

通知的标题要素中可以省略的是()。

合伙企业的合伙人可以是()。

下列关于C++流的描述中，错误的是()。

若查询的设计如下，则查询的功能是( )。

存储一个24×24点阵的汉字(每个点占用1　bit)，需用(20)个字节。

F的逻辑表达式为F=((A+B).X)((A.B).Y)，当(95)时，F=AB；当(96)时，　F=A∨B。

Windows是常见的具有图形界面的(81)运行方式的操作系统。其中Windows　Server　2003适用的场合是(82)。将正在运行的应用程序窗口最小化后，该应用程序处于(83)状态。(84)是在体系结构上采用了客户机/服务器模式的网络操作系统。

若查询的设计如下，则查询的功能是(　　)。