论文研究可证明安全的需求装载代码协议.pdf
用户评论
推荐下载
-
论文研究实时监控下的动态远程证明模型.pdf
针对现有远程证明技术仅对远程平台进行接入网络前的静态信息验证的局限性,提出了实时监控下的动态远程证明模型(DRAM-RTM)。该模型从平台行为和实时监控两个方面提升远程平台接入网络后的可信性。它将平台
16 2020-07-16 -
论文研究交换超立方体的g邻域可诊断性的证明
多处理器系统或互连网络的可诊断性是重要的研究课题。 系统和互连网络具有基础拓扑,通常通过图形表示。 在本文中,我们展示了在PMC模型和MM *模型下交换的超立方体EH(s,t)的g邻域可诊断性的证明。
13 2020-07-17 -
高效可证明安全的基于属性的在线离线加密机制
为了提高加密的效率,将在线/离线密码技术引入到ABE中,提出了基于属性的在线/离线加密(ABOOE)机制。ABOOE将加密过程非平凡地分解成离线和在线2个阶段,离线阶段在不知明文和所需属性集合的前提下
8 2021-01-30 -
论文研究无线移动自组网安全路由协议的分析与研究.pdf
针对无线移动自组网路由协议的安全问题,重点研究安全路由协议的设计方法。首先介绍Adhoc网络的本质特点,分析了Adhoc网络中存在的安全问题;然后对移动自组网安全条件进行了归纳,笔者重点介绍了包括SR
27 2019-07-26 -
论文研究调和安全协议两种分析方法的理论研究.pdf
安全协议形式化分析方法分为两种,即符号方法和计算方法。比较两种方法,它们各有优缺点。目前,将两者进行组合优化,建立统一的调和方法框架对安全协议进行分析是研究的热点和难点。针对该问题,对目前国际上流行的
15 2020-08-05 -
论文研究基于本体的元需求模型与元需求集研究.pdf
针对大型信息系统需求的复杂性,从需求的元级概念出发,提出了元需求概念,分析定义了元需求的构成要素、要素间关系及特征;用模型的方法来表示元需求,构建元需求模型,并形式化地表示模型。引进本体概念,将元需求
36 2019-08-16 -
论文研究可扩展的P2PSIP会议密钥管理协议.pdf
针对P2PSIP多媒体会议低延时、高扩展性需求,提出一种分级的会议密钥管理协议HOAKA。根据处理能力将会议节点分成两级,由少量高性能节点负责会议管理,所有成员通过单向累加器算法协商会议密钥。研究结果
23 2019-09-12 -
论文研究时间戳协议研究.pdf
电子文档容易被窜改,并且难以检测,为了证明该文档产生的时间,由时间戳机构加上时间戳。介绍了目前主要的四个时间戳协议,并分析了它们各自的优缺点,提出它们适用的条件。
30 2019-09-07 -
论文研究EIB总线协议研究.pdf
EIB总线协议研究,刘威,,简要介绍了EIB(European Installation Bus)系统的概念、拓扑结构、通讯协议、通讯媒质、以及EIB网络管理和寻址。并对欧洲安装总线的层次��
8 2021-04-24 -
基于SM9算法可证明安全的区块链隐私保护方案.pdf
国密算法。
14 2020-08-30
暂无评论