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

ISSN 1000-9825, CODEN RUXUEW E-mail: jos@ Journal of Software , Vol.19, No.8, August 2008, pp.2102−2113 DOI: 10.3724/SP.J.1001.2008.02102 Tel/Fax: +86-10 © 2008 by Journal of Software . All rights reserved. ∗ 基于规则推导的特权隐式授权分析 1,2,5+ 1,2,3,4 1,5 1,2,5 蔡