by Tom Chothia, Ben Smyth and Chris Staite
Reference:
Automatically Checking Commitment Protocols in ProVerif without False Attacks (Tom Chothia, Ben Smyth and Chris Staite), In POST'15: 4th Conference on Principles of Security and Trust, Springer, volume 9036, 2015.
Bibtex Entry:
@string{lncs="Lecture Notes on Computer Science"}
@inproceedings{2015-automated-verification-of-secrecy-using-phases,
author = "Tom Chothia and Ben Smyth and Chris Staite",
title = "Automatically Checking Commitment Protocols in {ProVerif} without False Attacks",
year = "2015",
booktitle = "POST'15: 4th Conference on Principles of Security and Trust",
publisher = "Springer",
series = "LNCS",
volume = 9036,
pages = {137--155},
url = {http://www.bensmyth.com/publications/2015-automated-verification-of-secrecy-using-phases/}
}