排序方式: 共有2条查询结果,搜索用时 15 毫秒
1
1.
网络安全是网络空间安全的一个重要研究领域,网络安全协议则是实现网络安全的核心技术.在2017年最新发布的TLS1.3协议是实现网络安全的一个关键传输层安全协议,因此其安全性受到了人们的广泛关注.为了验证TLS1.3协议的安全性,尤其是秘密性和认证性,尝试基于符号模型,首先基于Applied PI演算对TLS1.3协议进行形式化建模,进而使用非单射性建模认证性,然后将针对TLS1.3协议的Applied PI演算模型转换为安全协议分析工具ProVerif的输入,应用ProVerif对其进行形式化分析,实验结果表明TLS 1.3协议具有良好的认证性和机密性. 相似文献
2.
采用机械混合的方法,将Fe(NO3)3·9H2O加载于多孔γ-Al2O3载体,并利用正电子湮没寿命谱学研究其自发扩散过程.实验测量了不同Fe(Ⅲ)质量分数的样品(1.3%~4.2%)在不同温度(100~600 C)烘烤后的正电子寿命谱.实验结果表明,未烘烤时,Fe(Ⅲ)主要分布在γ-Al2O3载体颗粒表面;烘烤后,Fe(Ⅲ)向γ-Al2O3载体颗粒的内部二次孔扩散,并首先占据活性中心的位置.同时,部分Fe(Ⅲ)扩散到γ-Al2O3载体的微孔中.在烘烤温度大于400℃时,能使Fe(Ⅲ)在γ-Al2>O3载体中均匀分布. 相似文献
1