基于模型检测的安全操作系统验证方法研究

【作者】 程亮

【导师】 冯登国;

【作者基本信息】 中国科学技术大学 , 信息安全, 2009, 博士