Mahjoub Langar, Mohamed Mejri, Kamel Adi. Rewriting-based Security Enforcement of Concurrent Systems - A Formal Approach. In Sokratis K. Katsikas, Pierangela Samarati, editors, SECRYPT 2010 - Proceedings of the International Conference on Security and Cryptography, Athens, Greece, July 26-28, 2010, SECRYPT is part of ICETE - The International Joint Conference on e-Business and Telecommunications. pages 66-74, SciTePress, 2010.
Abstract is missing.