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, 2015. (To appear)
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",
        url = {http://www.bensmyth.com/publications/2015-automated-verification-of-secrecy-using-phases/},
        note = {To appear}
}
Powered by bibtexbrowser