Secure sessions for Web services (bibtex)
by Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon
Reference:
Secure sessions for Web services (Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon), In ACM Transactions on Information and System Security, volume 10, 2007.
Bibtex Entry:
@article{BhargavanCFG07,
  author    = {Karthikeyan Bhargavan and
               Ricardo Corin and
               C{\'e}dric Fournet and
               Andrew D. Gordon},
  title     = {Secure sessions for Web services},
  journal   = {ACM Transactions on Information and System Security},
  PDF = 
{pubs/secure-sessions-tissec07.pdf},
  URL = 
{pubs/secure-sessions-tissec07.pdf},
  volume    = {10},
  number    = {2},
  year      = {2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}