TulaFale
From MaRDI portal
Software:13730
swMATH986MaRDI QIDQ13730FDOQ13730
Author name not available (Why is that?)
Cited In (11)
- Formal methods for components and objects. Second international symposium, FMCO 2003, Leiden The Netherlands, November 4--7, 2003. Revised lectures.
- Foundations of Software Science and Computation Structures
- Security Protocol Verification: Symbolic and Computational Models
- Formal specification of a web services protocol
- On the relationship between web services security and traditional protocols
- Towards an Automatic Analysis of Web Service Security
- Title not available (Why is that?)
- A semantics for web services authentication
- PiDuce- A project for experimenting web services technologies
- Verifying Cryptographic Protocols with Subterms Constraints
- A chart semantics for the pi-calculus
This page was built for software: TulaFale
