防危核与强类防危策略的研究

摘要

防危核是提高安全关键系统可信性的一种重要保障方案,防危策略的正确性直接决定了防危核技术的有效性.本文深入研究了防危核与防危策略分类的关系、强类防危策略的特性以及实现方法.从系统防危需求分析入手,提出了以形式化语言为桥梁,用数学证明来解决防危核与强防危策略之间一致性证明的方法,从而为防危核与强防危策略一致性问题的解决探索出一条新路子.并以十字路口的交通控制为例全过程的实现和验证了所提出的思想和算法及其正确性.