TulaFale
From MaRDI portal
Software:13730
No author found.
No records found.
Related Items (11)
Unnamed Item ⋮ Security Protocol Verification: Symbolic and Computational Models ⋮ PiDuce- A project for experimenting web services technologies ⋮ Formal specification of a web services protocol ⋮ Verifying Cryptographic Protocols with Subterms Constraints ⋮ Towards an Automatic Analysis of Web Service Security ⋮ A semantics for web services authentication ⋮ Unnamed Item ⋮ 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 ⋮ A Chart Semantics for the Pi-Calculus
This page was built for software: TulaFale
