逻辑推证相关硕士博士期刊学术论文 - 搜论网

逻辑推证相关论文

一种混合的安全协议形式化分析技术

分析了模型检测技术和逻辑推证技术的优点与不足,并在此基础上提出了一种混合的形式化分析技术的说明,该技术可提供更为完全的安全......

期刊

模型检测逻辑推证混合分析技术安全协议形式化分析网络安全 model checking logic reasoning mixed formal a

“天鹅”说与城市之根的再发现

...

期刊

城市之根哈尔滨天鹅心理分析再发现新时代哲学视角城市形象城市精神逻辑推证

安全协议的自动分析技术

安全协议的形式化研究成为一个热点领域,出现了很多的形式化和逻辑的研究方法.本文对于安全协议方法和技术做了介绍和总结.......

期刊

安全协议模型检测逻辑推证定理推证

看过本文同时还关注