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

admin2012-03-01 85

问题

选项 A、
B、
C、
D、

答案B

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

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

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

四级网络工程师

NCRE全国计算机四级

相关试题推荐

关于数据流图中加工的命名规则，正确的是(48)。
堆排序是一种基于______的排序方法，______不是堆。
若码值PPH是一个整数的补码表示，则该整数的真值为(121)：若码值PPH是一个整数的原码表示，则该整数的真值为(122)。
海明码足一种可以纠正一位差错的编码。对于30位的数据，需要(93)个校验位才能构成海明码。在某个海明码的排列方式阴D8D7D6D5D4D3D2D1P2P3D0P2P1中，其中Di(0≤i≤9)表示数据位，Pj(1≤j≤4)表示校验位，数据位D6由(94)进
在WindowsXP中，可以使用(1)来浏览日志文件，其中包含有(2)、安全性日志和系统日志。
在了解程序内部结构和流程后，通常采用(1)验证程序内部逻辑是否符合设计要求，此时可使用(2)技术设计测试案例。
通常，文件的逻辑结构可以分为两大类：无结构的流式文件和有结构的(164)。(165)组　织方式，既适合于交互方式应用，也适合于批处理方式应用。
一个良好的程序不仅要正确和可靠，而且通常更注重源程序的(13)。此外，还应养成良好的编程风格，例如，选择标识符的名字时应考虑(14)；在书写语句时应考虑(15)；在书写功能性注解时应考虑(16)。源程序中应包含一些内部文档，以帮助阅读和理解源程序，源程序的
RS-232-C是(171)。现在不少打印机，U盘和数字摄像机等设备都通过USB接口与主机相连，它是(172)，此类应用中的传送速率可达(173)。它支持(174)通信，并完全支持(175)。
软件性能的指标有______。①响应时间②系统响应时间和应用延迟时间③吞吐量④并发用户数⑤资源利用率A)①②③⑤B)②③④⑤C)①③④⑤D)①②③④⑤

随机试题

以下关于审计业务约定书的表述不正确的有（）
行情变化最明显的反映是()
护士不慎被注射后的针头刺伤，必须立即处理的正确做法是
梅毒下疳可于什么时候自行愈合
案情：魏某出国前将其笔记本电脑委托给秦某保管，并约定秦某可以使用他的电脑，双方都不用支付费用。一日，秦某的好友李某来串门，看见电脑，说那台电脑是他的，半年前他的电脑出故障，一气之下扔垃圾站了，后来转念想想，还能修好，但再回到垃圾站电脑已不见了。李某说出了电
受压构件，两端铰支，其临界力为50kN，若将构件改为两端固定，则其临界力为()kN。
灭火器配置验收的合格判定标准中要求同一配置单元配置的不同类型的灭火器，其灭火剂类型要求不属于()的灭火剂。
人民警察在执行公务活动时，要尊重少数民族的宗教习俗。()
“瘦肉精”、“染色馒头”、“塑化剂”等食品安全事件，再次引发国人对食品安全的忧思。对此，政府应该采取的措施是()。
下面有关毛泽东思想的理解正确的是()

最新回复(0)

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

四级网络工程师

NCRE全国计算机四级

关于数据流图中加工的命名规则，正确的是(48)。

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

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

海明码足一种可以纠正一位差错的编码。对于30位的数据，需要(93)个校验位才能构成海明码。在某个海明码的排列方式阴D8D7D6D5D4D3D2D1P2P3D0P2P1中，其中Di(0≤i≤9)表示数据位，Pj(1≤j≤4)表示校验位，数据位D6由(94)进

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

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

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

RS-232-C是(171)。现在不少打印机，U盘和数字摄像机等设备都通过USB接口与主机相连，它是(172)，此类应用中的传送速率可达(173)。它支持(174)通信，并完全支持(175)。

软件性能的指标有______。①响应时间②系统响应时间和应用延迟时间③吞吐量④并发用户数⑤资源利用率A)①②③⑤B)②③④⑤C)①③④⑤D)①②③④⑤

以下关于审计业务约定书的表述不正确的有（）

行情变化最明显的反映是()

护士不慎被注射后的针头刺伤，必须立即处理的正确做法是

梅毒下疳可于什么时候自行愈合

受压构件，两端铰支，其临界力为50kN，若将构件改为两端固定，则其临界力为()kN。

灭火器配置验收的合格判定标准中要求同一配置单元配置的不同类型的灭火器，其灭火剂类型要求不属于()的灭火剂。

人民警察在执行公务活动时，要尊重少数民族的宗教习俗。()

“瘦肉精”、“染色馒头”、“塑化剂”等食品安全事件，再次引发国人对食品安全的忧思。对此，政府应该采取的措施是()。

下面有关毛泽东思想的理解正确的是()

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

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