Marwa Ziadia, Mohamed Mejri. Formal Enforcement of Security Policies on Parallel Systems with Risk Integration. In Said El Hajji, Abderrahmane Nitaj, Claude Carlet, El Mamoun Souidi, editors, Codes, Cryptology, and Information Security - First International Conference, C2SI 2015, Rabat, Morocco, May 26-28, 2015, Proceedings - In Honor of Thierry Berger. Volume 9084 of Lecture Notes in Computer Science, pages 133-148, Springer, 2015. [doi]
Abstract is missing.