Unwinding in Information Flow Security

Annalisa Bossi, Riccardo Focardi, Damiano Macedonio, Carla Piazza, Sabina Rossi. Unwinding in Information Flow Security. Electronic Notes in Theoretical Computer Science, 99:127-154, 2004. [doi]

Abstract

Abstract is missing.