Supported by the National Natural Science Foundation of China under Grant No.60573042 (国家自然科学基金); the National Basic Research Program of China under Grant No.G1999035802 (国家重点基础研究发展计划(973)); the Beijing Natural Science Foundation of China under Grant No.4052016 (北京市自然科学基金)
蔡嘉勇,卿斯汉,刘 伟,何建波.基于规则推导的特权隐式授权分析.软件学报,2008,19(8):2102-2113
复制