排序方式: 共有9条查询结果,搜索用时 168 毫秒
1
2.
3.
5.
6.
MQTT是物联网中被广泛应用的消息传输协议,其安全性问题备受关注。当前MQTT协议安全性分析主要面向协议实现平台,缺少面向协议标准的安全性测试,导致协议标准本身存在的安全缺陷难以发现。针对该问题,采用协议形式化分析技术,提出了一种基于Tamarin的MQTT协议安全性分析方法。该方法首先面向MQTT协议3.1.1标准,构建了协议状态机,并依据Tamarin语法规则,完成了形式化描述;然后针对保密属性和认证属性,给出了MQTT协议需要满足的安全属性引理描述;最后,基于Dolev-Yao威胁模型在Tamarin中完成了对47种协议安全属性的验证。结果显示有9种保密属性违反和29种认证属性违反,对结果进行攻击测试,验证了该方法对MQTT协议安全性分析的有效性,并提出了一种基于身份重认证的优化改进方案。 相似文献
7.
8.
为优化储能电站电池充、放电运行维护策略,对储能电站用磷酸铁锂电池在恒功率P、2P、4P下进行充、放电性能试验,拆解后对电极材料进行扫描电镜形貌测试、X射线衍射测试、电感耦合等离子光谱测试。结果表明,随着充、放电功率增大,电池完成充、放电循环时间变短,内阻变大,电池有效充、放电容量变小;4P功率下电池正极的磷酸铁锂颗粒有明显的裂纹,负极表面的Fe、P、S等元素质量分数偏高;循环充、放电到一定次数后,电池开始老化,出现FePO4相;大功率充、放电使负极材料中锂元素质量分数升高,正极锂元素质量分数与功率呈反比关系,加速电池的老化。储能电站实际运维中,对电池宜采用低功率的充、放电策略,可有效提高电池使用寿命及安全可靠性。 相似文献
9.
通过湿法球磨联合煅烧方法制备软铋矿型光催化材料Bi12MnO20,其光吸收能力覆盖200~2200 nm光谱范围。Bi12MnO20的晶体结构可以视为Mn4+掺入到亚稳立方γ-Bi2O3的四面体中所得,并且Bi12MnO20的能带结构中出现禁带宽度为1.25 e V的子带隙。这种能带结构的优化有利于Bi12MnO20光催化剂加速转化溶液中O2为超氧自由基(·O2-),以改善光催化降解过程中的电荷分离和转移。结果表明,在模拟阳光照射下,Bi12MnO20对pH 8溶液中浓度为10 mg/L的孔雀石绿降解率达到95%以上。经过4次光降解实验后,Bi12MnO20对孔雀石绿的降解率保持在74.9%。 相似文献
1