A general composition theorem for secure reactive systems (0)

by M Backes, B Pfitzmann, M Waidner
Venue:In TCC 2004