A Formal Approach for Security Policy Enforcement in Concurrent Programs
A Formal Approach for Security Policy Enforcement in Concurrent Programs
复制标题
并发程序中安全策略执行的正式方法
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
K. Adi
中科院分区：
文献类型：
--
作者：
Mahjoub Langar;M. Mejri;K. Adi
一种复合片材，在其两个外表面上都表现出低发射率特性，以限制辐射热通过其传递，该复合片材包括一个复合片材结构，该复合片材结构包括一个具有高强度、抗撕裂性、稳定性和本体的片材基层，和一个具有低发射率特性的第一材料层，该第一材料层设置成与基层的一个表面紧密接触。第二复合片材结构包括片材保护层和第二材料层，该片材保护层通常对能谱的红外范围内的辐射能是透明的，该第二材料层具有低发射率特性，该第二材料层设置成与保护层的一个表面紧密接触。复合片材结构与面向基层的另一个表面的具有低发射率的第二材料层结合在一起，即具有低发射率的第一材料层形成复合片材的一个外表面，并且保护层形成另一个外表面。
A composite sheet material exhibiting a low emittance characteristic at both of its outer surfaces for limiting radiant heat transmission therethrough comprises one composite sheet structure including a base layer of sheet material having high strength, resistance to tearing, stability, and body, and a first layer of material having a low emittance characteristic disposed in intimate contact with one surface of the base layer. A second composite sheet structure includes a protective layer of sheet material that is generally transparent to radiant energy in the infrared range of the energy spectrum and a second layer of material having a low emittance characteristic disposed in intimate contact with one surface of the protective layer. The composite sheet structures are bonded together with the second layer of material having low emittance facing the other surface of the base layer, that is with the first layer of material having low emittance forming one outer surface of the composite sheet material and the protective layer forming the other outer surface.