Rewriting-based Security Enforcement of Concurrent Systems - A Formal Approach.

Mahjoub Langar, Mohamed Mejri, Kamel Adi

Browse the full SECRYPT paper archive.