Modular verification of security protocol code by typing (bibtex)
by Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
Reference:
Modular verification of security protocol code by typing (Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon), In 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'10), 2010.
Bibtex Entry:
@inproceedings{BhargavanFG10,
  author    = {Karthikeyan Bhargavan and
               C{\'e}dric Fournet and
               Andrew D. Gordon},
  title     = {Modular verification of security protocol code by typing},
  booktitle = {37th ACM SIGPLAN-SIGACT Symposium on
               Principles of Programming Languages (POPL'10)},
  year      = {2010},
  pages     = {445-456},
  ee        = {http://doi.acm.org/10.1145/1706299.1706350},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
Powered by bibtexbrowser