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

作　　者：赵栋[1] 罗军[1] 王蕾[1] 

机构地区：[1]国防科技大学,湖南长沙410073

出　　处：《信息网络安全》2009年第10期49-51,共3页Netinfo Security

基　　金：国家"863"计划资助项目(2007AA01Z461)

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

关 键 词：WINDOWS VISTA 用户帐户控制 反向建模 

分 类 号：TP316.7[自动化与计算机技术—计算机软件与理论]