Automatically Checking Commitment Protocols in ProVerif without False Attacks.

Tom Chothia Ben Smyth Christopher Staite

Published in: POST (2015)

Keyphrases

security protocols
cryptographic protocols
automatically generated
security flaws
web services
watermarking algorithm
privacy preserving
user defined