Automated Reasoning and the Verification of Security Protocols.

Fabio Massacci

Browse the full TABLEAUX paper archive.