A novel logic-based automatic approach to constructing compliant security policies

Yibao Bao, Lihua Yin, Binxing Fang, Li Guo. A novel logic-based automatic approach to constructing compliant security policies. Science in China Series F: Information Sciences, 55(1):149-164, 2012. [doi]

Abstract

Abstract is missing.