Experimenting with STA, a tool for automatic analysis of security protocols.

Michele Boreale, Maria Grazia Buscemi

Browse the full SAC paper archive.