Automatically Checking Commitment Protocols in ProVerif without False Attacks (bibtex)
by Tom Chothia, Ben Smyth, Chris Staite
Reference:
Automatically Checking Commitment Protocols in ProVerif without False Attacks (Tom Chothia, Ben Smyth, 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/}
}
Powered by bibtexbrowser