文件名称：模型检测 形式化分析 安全协议 相关论文
文件大小：26.89MB
文件格式：RAR
更新时间：2011-11-18 02:46:21
模型检测 形式化分析 安全协议
模型检测 形式化分析 安全协议相关论文，小弟最近在研究这个，与同行共享~
【文件预览】：
模型检测相关论文
----Java虚拟机安全性的形式化分析和验证.nh(6.68MB)
----电子商务协议形式化方法及模型检测技术的研究与应用.nh(4.37MB)
----基于数据挖掘技术的混合入侵检测模型研究.pdf(217KB)
----模型检测在软件方面的应用.kdh(1.5MB)
----安全协议形式化分析理论与方法.nh(4.63MB)
----模型检测时态知识逻辑及其应用.kdh(10.2MB)
----安全协议形式化分析方法.pdf(240KB)