TulaFale
From MaRDI portal
Cited in
(18)- TAPS
- AGVI
- Formal methods for components and objects. Second international symposium, FMCO 2003, Leiden The Netherlands, November 4--7, 2003. Revised lectures.
- Facile
- XPi
- ASPIER
- Spi2Java
- AsmL
- On the relationship between web services security and traditional protocols
- A chart semantics for the pi-calculus
- Security protocol verification: symbolic and computational models
- Verifying Cryptographic Protocols with Subterms Constraints
- Towards an Automatic Analysis of Web Service Security
- Verified interoperable implementations of security protocols
- A semantics for web services authentication
- Foundations of Software Science and Computation Structures
- PiDuce- A project for experimenting web services technologies
- Formal specification of a web services protocol
This page was built for software: TulaFale
