Padmalochan Bera, Soumya Maity, Soumya Kanti Ghosh. Generating policy based security implementation in enterprise network: a formal framework. In Tony Sager, Gail-Joon Ahn, Krishna Kant, Heather Richter Lipford, editors, 3rd ACM Workshop on Assurable and Usable Security Configuration, SafeConfig 2010, Chicago, IL, USA, October 4, 2010. pages 1-8, ACM, 2010. [doi]
Abstract is missing.