收藏本站
收藏 | 论文排版

Windows Vista用户账户控制机制的反向建模分析

赵栋  罗军  王蕾  
【摘要】:形式化建模分析是发现系统漏洞的有效方法之一,为了解决正向建模对非开源软件进行分析的困难,本文提出了一种反向建模的分析方法。反向建模是一个反馈式的过程,利用模型检验工具验证分析生成的反例在真实系统中进行确认,若反例没有得到确认则对模型进行修正,然后再次进行验证,如此反复,直至反例得到确认,即可得到较为准确的模型并发现系统的不足。本文使用该方法对WindowsVista用户账户控制机制进行了分析,发现了其不足,取得了较好的效果。

知网文化
【相似文献】
中国重要会议论文全文数据库 前2条
1 赵栋;罗军;王蕾;;Windows Vista用户账户控制机制的反向建模分析[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
2 江荣;魏立峰;赵栋;刘晓东;;Windows Vista内存保护机制及分析[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
中国硕士学位论文全文数据库 前3条
1 谭彬;Windows Vista操作系统的安全关键技术分析[D];上海交通大学;2008年
2 顾嘉立;下一代通用电子文档技术XPS的研究与应用[D];北京交通大学;2007年
3 刘智薇;Microsoft Windows Vista的Windows Update测试方法的研究与应用[D];内蒙古大学;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978