A Semantics for Web Services Authentication (bibtex)
by Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
Reference:
A Semantics for Web Services Authentication (Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon), In Theoretical Computer Science, Elsevier, volume 340, 2005.
Bibtex Entry:
@string{tcs="Theoretical Computer Science"}
@article{wssec-model-tcs,
  author = {Karthikeyan Bhargavan and C\'{e}dric Fournet and Andrew D. Gordon},
  title = {A Semantics for Web Services Authentication},
  journal = tcs,
  publisher = "Elsevier",
  year = 2005, 
  month = jun,
  volume = 340,
  number = 1,
  pages = "102--153",
  xnote = "See also Microsoft Research Technical Report MSR-TR-2003-83",
  pdf="pubs/a-semantics-for-web-services-auth-tcs05.pdf",
  url="pubs/a-semantics-for-web-services-auth-tcs05.pdf",
  
}