安全性和灵活性是各种改进的BLP模型追求的目标.如何在保持安全性的前提下增加BLP模型的灵活性,一直是安全操作系统研究人员研究的重点.安全模型是系统设计的基础,如果在系统中实现了不安全的“安全模型”,其后果是严重的.结合多级安全(...安全性和灵活性是各种改进的BLP模型追求的目标.如何在保持安全性的前提下增加BLP模型的灵活性,一直是安全操作系统研究人员研究的重点.安全模型是系统设计的基础,如果在系统中实现了不安全的“安全模型”,其后果是严重的.结合多级安全(MLS)的核心思想,通过实例列举的方式深入分析了两个改进的BLP模型——DBLP(dynamic BLP)和SLCF(security label common framework).尽管这两个模型都提出了在系统运行时动态地调整主体安全级的规则,但是分析表明,它们还是不安全的.在这两个模型的规则控制下,特洛伊木马可以通过显式地读和写操作将高安全等级的信息泄漏给低安全等级的主体,从而违反了多级安全(MLS)策略.研究结果为人们避免选用不安全的模型提供了有意义的理论支持.展开更多
The corrosion kinetics behavior of Dacromet coating was studied by potentiodynamic scan,galvanostatic charge and fast triangular voltage methods.The corrosion kinetics parameters were calculated and the semiconductor ...The corrosion kinetics behavior of Dacromet coating was studied by potentiodynamic scan,galvanostatic charge and fast triangular voltage methods.The corrosion kinetics parameters were calculated and the semiconductor conductivity of the coating was investigated.The superior anticorrosive effect of the coating can be attributed to the multilayer inactivation that greatly increases the breakthrough potential and prolongs the breakdown time.On the other hand,the conductivity of the coating could allow the metal powder within the coating displaying sacrificial protection effect at the expense of anade controllably for steel substrate in salt water environments.The coating formed by substituting boric acid for a part of chromic anhydride in the coating solution,contained more charge carriers and showed more negative corrosion potential,so that the coating still effectively displayd such protection effect even in fresh water.展开更多
The flaked zincc thermosetting coating on steel can exhibit superior anticorrosive effect against fresh water,by substituing boric acid for a poart of chromic anhydride in the coating composition.The mechanism of the ...The flaked zincc thermosetting coating on steel can exhibit superior anticorrosive effect against fresh water,by substituing boric acid for a poart of chromic anhydride in the coating composition.The mechanism of the anticorrosive activity of this coating was studied with XRD,XPS and NMR measuring techniques.The results show that noncrystalline B 2O 3 and Cr 2O 3 coexist in the voidbetween the zinc particles acting as the binder for the metal powders,and boron is in two forms of tetrahedron and triangle .It is proposed that boron could snatch oxygen atoms from n ZnO layer on the surface of zinc flakes,increase the density of superfluous Zn 2+ and n conductivity of ZnO layer,thus the coating layers still display sacrificial protection effect for steel substrate in fresh water environments.展开更多
分析了当前Clark-Wilson完整性模型实现机制的不足,提出了一种基于TE实现Clark-Wilson模型的方法.首先讨论了TE对Clark-Wilson模型的支持能力,然后给出了用TE实现Clark-Wilson模型的配置规则和约束.在实现中,扩展了模型的(userid,TP,lis...分析了当前Clark-Wilson完整性模型实现机制的不足,提出了一种基于TE实现Clark-Wilson模型的方法.首先讨论了TE对Clark-Wilson模型的支持能力,然后给出了用TE实现Clark-Wilson模型的配置规则和约束.在实现中,扩展了模型的(userid,TP,list of CDIs)三元组,引入了角色层,以更实用的方式实现了职责隔离.同时,实现机制实现了对TP的保护,有效地保障了TP功能的正确性,提高了系统正确控制TP操作的可信度,减少了对Clark-Wilson模型验证规则的依赖.展开更多
文摘安全性和灵活性是各种改进的BLP模型追求的目标.如何在保持安全性的前提下增加BLP模型的灵活性,一直是安全操作系统研究人员研究的重点.安全模型是系统设计的基础,如果在系统中实现了不安全的“安全模型”,其后果是严重的.结合多级安全(MLS)的核心思想,通过实例列举的方式深入分析了两个改进的BLP模型——DBLP(dynamic BLP)和SLCF(security label common framework).尽管这两个模型都提出了在系统运行时动态地调整主体安全级的规则,但是分析表明,它们还是不安全的.在这两个模型的规则控制下,特洛伊木马可以通过显式地读和写操作将高安全等级的信息泄漏给低安全等级的主体,从而违反了多级安全(MLS)策略.研究结果为人们避免选用不安全的模型提供了有意义的理论支持.
文摘The corrosion kinetics behavior of Dacromet coating was studied by potentiodynamic scan,galvanostatic charge and fast triangular voltage methods.The corrosion kinetics parameters were calculated and the semiconductor conductivity of the coating was investigated.The superior anticorrosive effect of the coating can be attributed to the multilayer inactivation that greatly increases the breakthrough potential and prolongs the breakdown time.On the other hand,the conductivity of the coating could allow the metal powder within the coating displaying sacrificial protection effect at the expense of anade controllably for steel substrate in salt water environments.The coating formed by substituting boric acid for a part of chromic anhydride in the coating solution,contained more charge carriers and showed more negative corrosion potential,so that the coating still effectively displayd such protection effect even in fresh water.
文摘The flaked zincc thermosetting coating on steel can exhibit superior anticorrosive effect against fresh water,by substituing boric acid for a poart of chromic anhydride in the coating composition.The mechanism of the anticorrosive activity of this coating was studied with XRD,XPS and NMR measuring techniques.The results show that noncrystalline B 2O 3 and Cr 2O 3 coexist in the voidbetween the zinc particles acting as the binder for the metal powders,and boron is in two forms of tetrahedron and triangle .It is proposed that boron could snatch oxygen atoms from n ZnO layer on the surface of zinc flakes,increase the density of superfluous Zn 2+ and n conductivity of ZnO layer,thus the coating layers still display sacrificial protection effect for steel substrate in fresh water environments.
文摘分析了当前Clark-Wilson完整性模型实现机制的不足,提出了一种基于TE实现Clark-Wilson模型的方法.首先讨论了TE对Clark-Wilson模型的支持能力,然后给出了用TE实现Clark-Wilson模型的配置规则和约束.在实现中,扩展了模型的(userid,TP,list of CDIs)三元组,引入了角色层,以更实用的方式实现了职责隔离.同时,实现机制实现了对TP的保护,有效地保障了TP功能的正确性,提高了系统正确控制TP操作的可信度,减少了对Clark-Wilson模型验证规则的依赖.
