惰性分析相关硕士博士期刊学术论文 - 搜论网

惰性分析相关论文

硒化镉视象管的惰性分析

本文从硒化镉视象管的靶材料、结构和工作原理及其管型演变过程,分析了硒化镉管中惰性产生的原因,提出了降低硒化镉管和硒碲镉管惰......

期刊

视象管硒化镉惰性分析

基于SAT的安全协议惰性形式化分析方法

提出了一种基于布尔可满足性问题的安全协议形式化分析方法 SAT-LMC,通过引入惰性分析的思想优化初始状态与转换规则,提高了安全性......

期刊

安全协议形式化分析布尔可满足性惰性分析类型缺陷攻击 security protocols formalization analysis Boolean

看过本文同时还关注