论文部分内容阅读
针对可信虚拟平台信任链的形式化分析问题,建立了包括虚拟机和虚拟信任根在内的可信虚拟平台完整的信任链模型,并详细定义其应满足的信任属性,通过扩展LS2,验证了可信虚拟平台信任链模型能够有条件地满足其正确性、唯一性。对实例系统分析表明本文所建立信任链模型的通用性及基于扩展LS2分析方法的有效性。
基于扩展LS~2的可信虚拟平台信任链分析
【摘 要】
：
针对可信虚拟平台信任链的形式化分析问题,建立了包括虚拟机和虚拟信任根在内的可信虚拟平台完整的信任链模型,并详细定义其应满足的信任属性,通过扩展LS2,验证了可信虚拟平台信任链模型能够有条件地满足其正确性、唯一性。对实例系统分析表明本文所建立信任链模型的通用性及基于扩展LS2分析方法的有效性。
【机 构】
：
中国科学院软件研究所,中国科学院研究生院,解放军信息工程大学三院
【出 处】
：
通信学报
【发表日期】
：
2013年05期
【基金项目】
：
国家自然科学基金资助项目（91118006,61202414）,国家重点基础研究发展计划（“973”计划）基金资助项目（2013CB338003）
其他文献
为了满足未来大容量、高速率、硬实时性的信息传输需求,将交换式以太网技术引入列车通信网络(TCN,train communication network)。针对不同优先级消息,根据其通信调度方式对传输过程建立了TCN的确定与随机Petri网(DSPN,determined and stochastic Petri nets)模型,比较了交换机不同调度算法对时延的影响,并分析了消息数目和产生周期,以及
对基于可信第三方的平台身份证明方案进行了研究,提出了一种用证书和令牌标识可信计算平台并直接使用令牌证明平台身份的方案。与其他方案相比,该方案降低了证明过程的计算量和通信量,并且验证方验证平台身份的同时能够确认平台状态可信,获得了更高的安全性。利用协议组合逻辑证明了方案满足平台身份验证正确性和匿名性。原型系统实验结果表明,该方案平台身份证明效率高,特别适用于无线网络环境。
针对认知无线电网络中路由受到的选择性转发攻击,提出一种基于信任的安全路由模型。通过监视节点的数据转发行为,构建节点的信任以识别恶意节点。基于路由选择必须同频谱分配紧密结合的特点,在路由发现阶段,请求信息中封装节点的可用频谱机会并避免发送给恶意节点。在路由选择阶段,利用节点信任构建可用路径信任,结合延时度量进行路由决定。同时,根据节点的信任划分对其服务请求采取不同的响应,对非可信节点的恶意行为采取更
如果能将有限元网格转换成为有限差分网格,就可以利用现有的商业软件进行网格剖分,然后进行网格转化,再应用到开发的温度场模拟软件了.在此方面做了一些探索工作,以解决凝固模拟中有限元网格向有限差分网格转换的问题.
在第21届广州国际玩具及模型展上，澄海品牌企业和自有品牌产品的强势亮相成为展会上一道靓丽的风景线：参展商数量占总参展商数量的1／3左右，电子遥控玩具及模型产品等技术稳定、品
香港“永和实业”董事长林亮十分喜欢这些浅黄色的小鸭玩具（如上圈）．因为这个上世纪40年代他公司生产的小玩具．是新型塑胶替代过往赛璐珞（易燃易碎的硝化纤维塑料）作为原料制造玩具
随着气温的下降．北京红桥天乐玩具市场目前的生意，也多少随着气温走低，但一些高端产品颇有销路。许多厂家为了对冲萧条。总是在这些清淡的月份发布新品．预热市场。随着圣诞元旦的
针对分数阶达尔文粒子群算法收敛性能依赖于分数阶次α,易陷入局部最优的特点,提出了一种自适应的分数阶达尔文粒子群优化(AFO-DPSO)算法,利用粒子的位置和速度信息来动态调整分数阶次α,并引入自适应的加速系数控制策略和变异处理机制,以获取更优的收敛性能。对几种典型函数的测试结果表明,相比于现有的粒子群算法,所提的AFO-DPSO算法的搜索精度、收敛速度和稳定性都有了显著提高,全局寻优能力得到了进一
目的研究碱性成纤维细胞生长因子在不同年龄段抑郁障碍患者及正常对照组中的表达差异,为抑郁障碍的发病机制研究提供实验依据.方法共入组253人,随机分为抑郁组143人,正常对照
虚拟现实技术是近些年髙速发展的一种新技术,它利用计算机软件构造出一个三维空间的虚拟世界.其中VRML （即虚拟现实建模语言）更是发展迅速,VRML 是一种用于建立真实世界场景的