Rania Taleb, Sylvain Hallé, Raphaël Khoury. A Modular Runtime Enforcement Model Using Multi-traces. In Esma Aïmeur, Maryline Laurent, Reda Yaich, Benoît Dupont, Joaquín García-Alfaro, editors, Foundations and Practice of Security - 14th International Symposium, FPS 2021, Paris, France, December 7-10, 2021, Revised Selected Papers. Volume 13291 of Lecture Notes in Computer Science, pages 283-302, Springer, 2021. [doi]
Abstract is missing.