TulaFale: A Security Tool for Web Services (bibtex)
by Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella
Reference:
TulaFale: A Security Tool for Web Services (Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella), In International Symposium on Formal Methods for Components and Objects (FMCO'03), SV, volume 3188, 2004.
Bibtex Entry:
@string{lncs="Lecture Notes on Computer Science"}
@inproceedings{BFGP04:TulaFale:ASecurityToolForWebServices,
  author="Karthikeyan Bhargavan and C\'{e}dric Fournet and Andrew D. Gordon and Riccardo Pucella",
  title="{TulaFale}: A Security Tool for Web Services",
  booktitle="International Symposium on Formal Methods for Components and Objects (FMCO'03)",
  publisher=SV, series=LNCS, year=2004, volume=3188, pages="197--222",
pdf="pubs/tulafale-a-security-tool-for-web-services.pdf",
url="pubs/tulafale-a-security-tool-for-web-services.pdf",
}