Cryptographic Verification by Typing for a Sample Protocol Implementation (bibtex)
by Cédric Fournet, Karthikeyan Bhargavan, Andrew D. Gordon
Reference:
Cryptographic Verification by Typing for a Sample Protocol Implementation (Cédric Fournet, Karthikeyan Bhargavan, Andrew D. Gordon), In Foundations of Security Analysis and Design VI (FOSAD'10), 2011.
Bibtex Entry:
@inproceedings{FournetBG10,
  author    = {C{\'e}dric Fournet and
               Karthikeyan Bhargavan and
               Andrew D. Gordon},
  title     = {Cryptographic Verification by Typing for a Sample Protocol
               Implementation},
  booktitle = {Foundations of Security Analysis and Design VI (FOSAD'10)},
  year      = {2011},
  pages     = {66-100},
  ee        = {http://dx.doi.org/10.1007/978-3-642-23082-0_3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
Powered by bibtexbrowser