A framework for the analysis of security protocols (2002)

by Michele Boreale , Maria Grazia Buscemi
Venue:In CONCUR: 13th International Conference on Concurrency Theory. LNCS
Citations:27 - 4 self