Alexandre Lacasse, Mohamed Mejri, Béchir Ktari. Formal Implementation of Network Security Policies. In Second Annual Conference on Privacy, Security and Trust, October 13-15, 2004, Wu Centre, University of New Brunswick, Fredericton, New Brunswick, Canada, Proceedings. pages 161-166, 2004. [doi]
Abstract is missing.