首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
A、 B、 C、 D、 B形式化证明方法用来证明一个协议是安全的，它是人们所希望的，但是一般的协议安全性是不可判定的，所以形式化证明的方法不能有效防范黑客攻击，故选B。
A、 B、 C、 D、 B形式化证明方法用来证明一个协议是安全的，它是人们所希望的，但是一般的协议安全性是不可判定的，所以形式化证明的方法不能有效防范黑客攻击，故选B。
admin
2012-03-01
52
问题
选项
A、
B、
C、
D、
答案
B
解析
形式化证明方法用来证明一个协议是安全的，它是人们所希望的，但是一般的协议安全性是不可判定的，所以形式化证明的方法不能有效防范黑客攻击，故选B。
转载请注明原文地址:https://kaotiyun.com/show/2E8Z777K
本试题收录于：
四级网络工程师题库NCRE全国计算机四级分类
0
四级网络工程师
NCRE全国计算机四级
相关试题推荐
以下关于软件开发的叙述中，不正确的是(55)。
设有n个结点进行排序，不稳定排序是(1)；快速排序的最坏时间是(2)。
某软件公司根据市场需求，组织开发一套应用软件，并对其公司的职工进行了保密的约束，以确保市场竞争。但是，该公司某开发人员将该应用软件的程序设计技巧和算法(由该开发人员设计)作为论文向社会发表。该软件开发人员(1)，而该软件公司丧失了这套应用软件的(2)。
商品条码是在流通领域中用于标识商品的(1)通用的条码。条码中的(2)供人们直接识读，或通过键盘向计算机输入数据。
逆波兰式的特点是：表示时可以不用括号，而且可以用基于(106)的求值过程进行计算。与逆波兰式ab-cd+*对应的中缀表达式是(107)。
F的逻辑表达式为F=((A+B).X)((A.B).Y)，当(95)时，F=AB；当(96)时， F=A∨B。
通过截取以前的合法记录稍后重新加入一个连接，叫做(3)。为防止重放攻击，可以采用的办法是(4)。
设有关系Students(学号，姓名，年龄，性别，系名，家庭住址)，其中，属性“系名”是关系DEPT的主键，用户要求访问“家庭住址”的某个成分，如邮编、省、市、街道以及门牌号。关系Students的主键和外键分别是(1)。“家庭住址”是一个(2)属性。
内存地址从4000H到43FFH，共有(1)个内存单元。若该内存每个存贮单元可存储16位二进制数，并用4片存储器芯片构成，则芯片的容量是(2)。
当n(n≥1000)个用户采用对称密码进行保密通信时，任意两个用户之间都需要一个安全的信道，系统中共有(1)个密钥，每个用户需要持有(2)个密钥。而当n个用户采用公钥密码方法进行保密通信时，共有2n个密钥，每个用户需要持有(3)个密钥(公开的，可任意使用的
随机试题
一个种类没有受到另一个种类因竞争而引起的抑制作用时占据的最大的生态位叫______。
鼓胀的病位在
有关钠泵的叙述，错误的是()
对生态系统的特征描述正确的是()
下列可作为海关事务担保方式的有：
按照规定上缴、缴回、单位间调剂结转结余资金产生的净资产变动额，以及对以前年度盈余的调整金额，应通过()科目进行核算。
教师向幼儿进行动作示范时的方式有()。
某商户用250元购进一批白菜，销售过程中损耗白菜30千克，已知商户每千克白菜的售价比进价高0．2元，全部售完共赚79元，则共购进这批白菜()。
公文的形成与发挥作用需依赖于()。
首次规定“重罪十条”的封建成文法典是()。
最新回复
(
0
)
