Composition and integrity preservation of secure reactive systems

Birgit Pfitzmann, Michael Waidner. Composition and integrity preservation of secure reactive systems. In ACM Conference on Computer and Communications Security. pages 245-254, 2000. [doi]

Abstract

Abstract is missing.