Anirban Sengupta, Chandan Mazumdar, Aditya Bagchi. Specification and validation of enterprise information security policies. In Vidyasagar Potdar, Debajyoti Mukhopadhyay, editors, CUBE International IT Conference & Exhibition, CUBE '12, Pune, India - September 03 - 06, 2012. pages 801-808, ACM, 2012. [doi]
Abstract is missing.