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]

Authors

Yibao Bao

This author has not been identified. Look up 'Yibao Bao' in Google

Lihua Yin

This author has not been identified. Look up 'Lihua Yin' in Google

Binxing Fang

This author has not been identified. Look up 'Binxing Fang' in Google

Li Guo

This author has not been identified. Look up 'Li Guo' in Google