TulaFale: A Security Tool for Web Services

This publication has 14 references indexed in Scilit:

• Formal Specification of a Web Services Protocol
  Electronic Notes in Theoretical Computer Science, 2004
• A semantics for web services authentication
  Published by Association for Computing Machinery (ACM) ,2004
• Modelling Dynamic Web Data
  Published by Springer Nature ,2004
• Web services are not distributed objects
  IEEE Internet Computing, 2003
• Authenticity by typing for security protocols1
  Journal of Computer Security, 2003
• From Secrecy to Authenticity in Security Protocols
  Published by Springer Nature ,2002
• Mobile values, new names, and secure communication
  Published by Association for Computing Machinery (ACM) ,2001
• A Calculus for Cryptographic Protocols: The Spi Calculus
  Information and Computation, 1999
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983
• Using encryption for authentication in large networks of computers
  Communications of the ACM, 1978