首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
A、 B、 C、 D、 B形式化证明方法用来证明一个协议是安全的，它是人们所希望的，但是一般的协议安全性是不可判定的，所以形式化证明的方法不能有效防范黑客攻击，故选B。
A、 B、 C、 D、 B形式化证明方法用来证明一个协议是安全的，它是人们所希望的，但是一般的协议安全性是不可判定的，所以形式化证明的方法不能有效防范黑客攻击，故选B。
admin
2012-03-01
81
问题
选项
A、
B、
C、
D、
答案
B
解析
形式化证明方法用来证明一个协议是安全的，它是人们所希望的，但是一般的协议安全性是不可判定的，所以形式化证明的方法不能有效防范黑客攻击，故选B。
转载请注明原文地址:https://kaotiyun.com/show/2E8Z777K
本试题收录于：
四级网络工程师题库NCRE全国计算机四级分类
0
四级网络工程师
NCRE全国计算机四级
相关试题推荐
软件“做什么”和“怎么做”是软件开发过程中需要解决的关键问题，其中“怎么做”是在(51)阶段解决的。
用户小王对某软件的操作界面提出了以下四条改进意见，其中，(55)是不需要考虑的。
某块SoundBlaster声卡是8位的，这里的“8位”指(14)。
满二叉树的特点是每层上的结点数都达到最大值，因此对于高度为h(h＞1)的满二叉树，其结点总数为(1)。对非空满二叉树，由根结点开始，按照先根后子树、先左子树后右子树的次序，从1、2、3、…依次编号，则对于树中编号为i的非叶子结点，其右子树的编号为(2)(高
计算机指令系统中采用不同寻址方式的主要目的是(1)。在下列寻址方式中取得操作数速度最慢的是(2)。
为了增强网页的安全性，可以采用(1)协议，为了证明数据发送者的身份与数据的真实性，需要使用(2)。
UNIX用户可在Shell命令级使用管道“|”，命令“Proutput.cllp”与(226)命令组等价。两者相比，前者(227)。
UNIX用户可在Shell命令级使用管道“|”，命令“Proutput.cllp”与(226)命令组等价。两者相比，前者(227)。
当n(n≥1000)个用户采用对称密码进行保密通信时，任意两个用户之间都需要一个安全的信道，系统中共有(1)个密钥，每个用户需要持有(2)个密钥。而当n个用户采用公钥密码方法进行保密通信时，共有2n个密钥，每个用户需要持有(3)个密钥(公开的，可任意使用的
TCP/IP是一个协议簇，它的体系结构分为四层：应用层、网际层、网络接口层和(1)，其中ARP协议属于(2)。为了在源主机和目的主机之间传送数据，IP协议需要确定源主机和目的主机是否在同一个网络中。如果不在同一网络时，则必须通过(3)进行通信、接入。
随机试题
4周龄北京鸭发病，病鸭食欲减少，喜卧，拉稀，排暗红色粪便，羽毛蓬松，发病几天后有零星死亡。剖检病死鸭发现，小肠弥漫性出血，肠壁肿胀、出血，肠黏膜粗糙，覆盖一层糠麸样或奶酪样或胶冻样黏液。引起该病的主要致病种是
主水饮，肾虚水泛，气血受困的面色特点是
2001年9月13日某省某公路上发生重大恶性交通事故。一辆小型客车落入路旁峡谷，车上四人全部殉难。后来经调查得知：死者李兴，71岁，早年丧偶；死者李良，男，38岁，系李兴之长子，其留有一妻王嫒和一子李小鹏；死者李国，男，35岁，系李兴之次子，其留有一子李云
当事人一方在法律规定的范围内向对方给付了定金。依据法律的规定，该定金应当如何处理?()
《建设工程质量管理条例》规定设计单位有下列行为的，属于违反法律和法规，要追究设计人的责任()。
煤气、天然气的低压系统管道可以采用( )。
现在越来越多的人拥有了自己的轿车，但他们明显地缺乏汽车保养的基本知识。这些人会按照维修保养手册或4s店售后服务人员的提示做定期保养。可是，某位有经验的司机会告诉你，每行驶5000千米做一次定期检查，只能检查出汽车可能存在问题的一小部分，这样的检查是没有意义
阅读材料1，如何评价“真正的真理是根本不变的”这个论断?如何理解材料3所指思维的至上性和非至上性的基本含义?材料3的真理观与材料2的真理观有何联系?
数据库系统的核心是()。
DreamsEveryonecandream.Indeed,everyonedoesdream.Thosewho【C1】______thattheyneverdreamatallactuallydream【C2】__
最新回复
(
0
)
