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 31st ACM Symposium on Principles of Programming Languages (POPL'04), 2004.
Bibtex Entry:
@inproceedings{BFG04:SemanticsForWebServicesAuthentication,
  author="Karthikeyan Bhargavan and C\'{e}dric Fournet and Andrew D. Gordon",
  title = {A Semantics for Web Services Authentication},
  booktitle="31st ACM Symposium on Principles of Programming Languages (POPL'04)",
  year=2004, pages="198--209",
pdf="pubs/a-semantics-for-web-services-auth-popl04.pdf",
url="pubs/a-semantics-for-web-services-auth-popl04.pdf"
}