Automatically Checking Commitment Protocols in ProVerif without False Attacks (bibtex)

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/}
}