形式化分析

安全协议自动化验证论文-陈伟
导读:本文包含了安全协议自动化验证论文开题报告文献综述及选题提纲参考文献，主要关键词:安全协议代码,形式化分析,模型抽取,认证性安全协议自动化验证论文文献综述陈伟[1]（201...
已知明文攻击论文-藏传宇
导读:本文包含了已知明文攻击论文开题报告文献综述及选题提纲参考文献，主要关键词:安全协议,物联网,Casper语法建模,形式化分析已知明文攻击论文文献综述藏传宇[1]（2018...
安全协议设计和分析方法论文-付杰,闫振林,张玉民,息明东,李升
导读:本文包含了安全协议设计和分析方法论文开题报告文献综述及选题提纲参考文献，主要关键词:安全协议,形式化分析,模型检测,可视化模型安全协议设计和分析方法论文文献综述付杰,闫振...
构件替换论文-任洪敏,刘晋
导读:本文包含了构件替换论文开题报告文献综述及选题提纲参考文献，主要关键词:基于构件的软件工程,构件替换性,构件自动机,形式化分析构件替换论文文献综述任洪敏,刘晋[1]（201...