A Framework for the Analysis of Security Protocols.

Michele Boreale, Maria Grazia Buscemi

Browse the full CONCUR paper archive.