Mahjoub Langar, Mohamed Mejri, Kamel Adi. A Formal Approach for Security Policy Enforcement in Concurrent Programs. In Selim Aissi, Hamid R. Arabnia, editors, Proceedings of the 2007 International Conference on Security & Management, SAM 2007, Las Vegas, Nevada, USA, June 25-28, 2007. pages 165-171, CSREA Press, 2007.
Abstract is missing.