Synthesizing Secure Protocols.

Vronique Cortier, Bogdan Warinschi, Eugen Zalinescu

Browse the full ESORICS paper archive.