信息流分析论文

基于模型检测的安全操作系统验证方法研究
论文摘要安全操作系统的形式化验证,作为高等级安全操作系统评估准则的一项重要指标和操作系统安全性能最有效的证明手段,具有重要意义与实用价值。目前形式化验证主要分为模型检测和定理证...
建设项目信息流分析
论文题目:建设项目信息流分析论文类型:硕士论文论文专业:管理科学与工程作者:谢琼导师:李启明关键词:建设项目,信息流分析,项目参与方,管理层次,全寿命周期文献来源:东南大学发表...