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 ACM Transactions on Programming Languages and Systems, volume 31, 2008.
Bibtex Entry:
@article{BhargavanFGT08,
  author    = {Karthikeyan Bhargavan and
               C{\'e}dric Fournet and
               Andrew D. Gordon and
               Stephen Tse},
  title     = {Verified interoperable implementations of security protocols},
  journal   = {ACM Transactions on Programming Languages and Systems},
  volume    = {31},
  number    = {1},
  year      = {2008},
  PDF = 
{http://prosecco.inria.fr/personal/karthik/pubs/verified-interoperable-implementations-toplas08.pdf},
  URL = 
{http://prosecco.inria.fr/personal/karthik/pubs/verified-interoperable-implementations-toplas08.pdf},
  ee        = {http://doi.acm.org/10.1145/1452044.1452049},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
Powered by bibtexbrowser