航空安全

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

资源总数
500

航空安全 热门资料

查看全部 500 份 →

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

2015-11-08 120 航空安全

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

2024-03-21 8 航空安全