Verifying Policy-Based Security for Web Services (bibtex)
by Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
Reference:
Verifying Policy-Based Security for Web Services (Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon), In 11th ACM Conference on Computer and Communications Security (CCS'04), 2004.
Bibtex Entry:
@inproceedings{BFG04:VerifyingPolicyBasedSecurityForWebServices,
  author="Karthikeyan Bhargavan and C\'{e}dric Fournet and Andrew D. Gordon",
  title = {Verifying Policy-Based Security for Web Services},
  booktitle="11th ACM Conference on Computer and Communications Security (CCS'04)",
  year=2004, pages="268--277", month=oct,
pdf="pubs/verifying-policy-based-security-ccs04.pdf",
url="pubs/verifying-policy-based-security-ccs04.pdf"}