Verifying policy-based web services security (bibtex)
by Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
Reference:
Verifying policy-based web services security (Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon), In ACM Transactions on Programming Languages and Systems, volume 30, 2008.
Bibtex Entry:
@article{BhargavanFG08,
  author    = {Karthikeyan Bhargavan and
               C{\'e}dric Fournet and
               Andrew D. Gordon},
  title     = {Verifying policy-based web services security},
  journal   = {ACM Transactions on Programming Languages and Systems},
  volume    = {30},
  number    = {6},
  year      = {2008},
PDF = 
{pubs/verifying-policy-based-security-toplas08.pdf},
URL = 
{pubs/verifying-policy-based-security-toplas08.pdf},
}