Verified Interoperable Implementations of Security Protocols (bibtex)
by Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse
Reference:
Verified Interoperable Implementations of Security Protocols (Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse), In 19th IEEE Computer Security Foundations Workshop (CSFW'06), 2006.
Bibtex Entry:
@InProceedings{BFGT06:VerifiedInteroperableImplementationsOfSecurityProtocols,
  author = {Karthikeyan Bhargavan and C\'edric Fournet and Andrew D. Gordon and Stephen Tse},
  title = {Verified Interoperable Implementations of Security Protocols},
  booktitle = {19th IEEE Computer Security Foundations Workshop (CSFW'06)},
  pages = "139--152",
  month = Jul,
  year =  2006}
Powered by bibtexbrowser