基于规则推导的特权隐式授权分析.pdfVIP

ISSN 10号0-9825， CODEN RUXUEW E咽ail: j倔@is部.acα Joumal ofSoftware, Vol. l9, No.8 , Au部1St 2008 , pp.2102-2 II3 http://w有 DOI: 10.3724/SP.J.1001.2008.02102 Tel/F缸: +86-10-625625岳3 ~ 2008 byJo矿阳I ofSoftware. A1 1rights re部ved. 基于规划撞导的特权器、式授权分析* 蔡事勇 iZJ: 牌斯在iDA，刘 #iJ，费建班 1，2，5 } 2飞{中国科学院软件研究所基础软件国家工程研究中心，北京 10∞o创19