基于规则推导的特权隐式授权分析-软件学报.PDF

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 蔡嘉勇 , 卿斯汉 , 刘 伟 , 何建波 1( 中国科学院 软件研究所 基础软件国家工程研究中心,北京 100190) 2( 中国科学院 软件研究所 信息安全技术工程研究中心,北京 100190) 3(北京大学 软件与微电子学院,北京 102600) 4(北京中科安胜信息技术有限公司,北京 100086) 5( 中国科学院 研究生院,北京 100049) Analysis on Implicit Authorization in Privilege Through Rule Deduction CAI Jia-Yong1,2,5+, QING Si-Han1,2,3,4, LIU Wei1,5, HE Jian-Bo1,2,5 1(National Engineering Research Center for Fundamental Software, Institute of Software, The Chinese Academy of Sciences, Beijing 100190, China) 2(Engineering Research Center for Information Security Technology, Institute of Software, The Chinese Academy of Sciences, Beijing 100190, China) 3(School of Software and Microelectronics, Peking University, Beijing 102600, China) 4(Beijing Zhongke Ansheng Corporation of Information Technology, Beijing 100086, China) 5(Graduate University, The Chinese Academy of Sciences, Beijing 100049, China) + Corresponding author: E-mail: jiayong02@ Cai JY, Qing SH, Liu W, He JB. Analysis on implicit authorization in privilege through rule deduction. Journal of Software, 2008,19(8):2102−2113. /1000-9825/19/2102.htm Abstract : A scheme on studying the safety issues for privilege in systems is introduced. Since the particular faculty of transiting s