SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

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 121–136.


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
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy