【摘 要】
：
防危核是提高安全关键系统可信性的一种重要保障方案,防危策略的正确性直接决定了防危核技术的有效性.本文深入研究了防危核与防危策略分类的关系、强类防危策略的特性以
【机 构】
：
厦门大学计算机与信息工程学院,福建,厦门,361005
论文部分内容阅读
防危核是提高安全关键系统可信性的一种重要保障方案,防危策略的正确性直接决定了防危核技术的有效性.本文深入研究了防危核与防危策略分类的关系、强类防危策略的特性以及实现方法.从系统防危需求分析入手,提出了以形式化语言为桥梁,用数学证明来解决防危核与强防危策略之间一致性证明的方法,从而为防危核与强防危策略一致性问题的解决探索出一条新路子.并以十字路口的交通控制为例全过程的实现和验证了所提出的思想和算法及其正确性.
其他文献
疫苗是保护宝宝健康的重要武器，但是，近几年出现的“计划外疫苗”使很多父母不知所措，有的说要给宝宝打，有的说不要打。计划外疫苗到底应不应打?还是听听专家的意见吧! 疫苗属计划内还是计划外，主要是根据传染病的传染性、流行性及其危害性的程度来划分的。 “计划外疫苗”所针对的传染病，有些是属于地方或局部流行的(如出血热等)；有的虽然流行普遍，传染性也强，但属于自限性疾病，可自行痊愈，转归良好(如风疹、
本文分析了文献[8]提出的代理盲签名方案,指出了其存在的安全缺陷,从三个方面给出了六种可行的攻击方法,并对原方案作了改进.
在语音信息隐藏中要进行身份认证.为缩短建立链接和交换协议的时间,本文提出了快速交叉身份认证技术.为增强通信的安全性,应先加密,将加密后的信息作为待隐藏内容隐入宿
随着群签名方案设计的发展,一些性能和性质较好的群签名方案不断被提出.然而,在实际环境中,一个群组的成员是动态的,群主管必须具备删除非法成员的能力.本文给出了一种基
本文分析了密码分组链接模式(CBC)的基本原理,发现了应用CBC模式加密的许多认证协仪存在严重的缺陷.以Needham-Schroeder与Yahalom协议为例,说明了由于这个缺陷而引起的
目的分析嵊州市中医院院内感染管理及消毒灭菌工作情况,探寻存在的问题,提出应对策略。方法回顾性分析嵊州市中医院2010年12月-2012年12月接受治疗的2 150例患者的临床资料,
本文探讨了经皮椎体成形术(percutaneousvertcbroplasty,PVP)对脊柱溶骨性肿瘤的治疗价值.揭示了PVP作为治疗脊柱溶骨性肿瘤的微创技术,能立即缓解疼痛,改善活动状况,并
目的 通过一次食品安全事故调查,探讨Epi Info 3.5软件在调查及资料分析中的应用.方法 使用Epi Info 3.5软件对2009年哈尔滨市一起亚硝酸盐食品安全事故进行现场调查及流行病
如何实现轻量级IP层的通信安全,则是一个令人关注的问题.由于轻量级IP设备的资源有限,引入相关的安全措施将不可避免地增加资源消耗.本文提出了一种轻量级IP层的安全机制
在信息社会和知识经济迅速发展的今天,数据库中信息的价值越来越被认为是财富的聚宝盆,因而它的安全变得越来越重要.推理控制是数据库安全的一个重要方面.ChineseWall安