一种改进的BLP模型

BLP模型是一种比较经典的安全模型,但是,它的规则太过严格,大大限制了模型的实用性和灵活性.本文在保证系统安全性的前提下,在一定程度上允许违背BLP模型准则操作的存在,并对那些违背BLP模型准则的操作采用基于事务的方法,从而使得模型的灵活性和安全性都有很大的改进.     

航空充氮(氧)车充气回收方法研究

通过理论分析计算和实践验证,对现行航空充氮(氧)车充气导管放空损失进行了深入的分析研究,设计出回气操作法和加装回气瓶的方法,使充氮(氧)车的放空损失下降20%左右,保障能力明显提高。