|

Using a PVS Embedding of CSP to Verify Authentication Protocols
by Dr. Bruno Dutertre & Steve Schneider.
Lecture Notes in Computer Science, Number 1275. From Theorem Proving in Higher Order Logics: 10th International Conference. TPHOLs'97. Edited by Elsa L. Gunter and Amy Felty. Springer-Verlag, Murray Hill, NJ. August, 1997. Pages 121136.
BibTEX Entry
@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}
}
Files
|
|