TulaFale: A Security Tool for Web Services

Language:
English
TulaFale is a new specification language for writing machine-checkable descriptions of SOAP-based security protocols and their properties. Last published: May 15, 2006.