航空安全

航空安全技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。

资源总数
500

航空安全 全部资料 500 份

提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的 证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对 Yahalom．BAN协议安全性的证明实...

2015-11-08 120 航空安全

大气中的空气总含有水蒸气，通常称为湿空气。在许多工程实际中都要利用湿空气，它所含的水蒸气量虽不多，却显得特别重要。由于水蒸气的性质不同于气体，而有其本身的特殊性，因此本章专题讨论湿空气的基本知识。

2024-03-21 8 航空安全

【摘要】分析了安全标记的概念，给出了安全标记的形式化定义，并建立了动态多级安全标记的格模型理论。格模型理论回答了动态多级安全系统的安全标记集合在数学上应形成格，解决了两安全标记比较时上、下确界的

2024-05-19 8 航空安全