Composition and integrity preservation of secure reactive systems, (2000)

by B Pfitzmann, M Waidner
Venue:in ACM Conference on Computer and Communications Security