Synthesis of a Permissive Security Monitor.

Narges Khakpour, Charilaos Skandylas

Browse the full ESORICS paper archive.