Mahjoub Langar, Mohamed Mejri, Kamel Adi. Toward an Algebraic Framework for Security Policy Enforcement in Concurrent Systems. In Hamid R. Arabnia, Kevin Daimi, Michael R. Grimaila, George Markowsky, Selim Aissi, Victor A. Clincy, Leonidas Deligiannidis, Donara Gabrielyan, Gevorg Margarov, Ashu M. G. Solo, Craig Valli, Patricia A. H. Williams, editors, Proceedings of the 2010 International Conference on Security & Management, SAM 2010, July 12-15, 2010, Las Vegas Nevada, USA, 2 Volumes. pages 400-405, CSREA Press, 2010.
Abstract is missing.