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 = 
{pubs/verified-interoperable-implementations-toplas08.pdf},
  URL = 
{pubs/verified-interoperable-implementations-toplas08.pdf},
}