@InProceedings{dutertre97c,
    AUTHOR = {Bruno Dutertre and Steve Schneider},
    TITLE = {Using a {PVS} Embedding of {CSP} to Verify Authentication Protocols},
    NUMBER = {1275},
    YEAR = {1997},
    PAGES = {121--136},
    MONTH = {August},
    ADDRESS = {Murray Hill, {NJ}},
    URL = {http://www.csl.sri.com/papers/tphols97/},
    SERIES = {Lecture Notes in Computer Science},
    BOOKTITLE = {Theorem Proving in Higher Order Logics: 10th International Conference. TPHOLs'97},
    PUBLISHER = {Springer-Verlag},
    EDITOR = {Elsa {L.} Gunter and Amy Felty}
}