TulaFale
From MaRDI portal
Cited in
(18)- Security protocol verification: symbolic and computational models
- 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
- Formal specification of a web services protocol
- AGVI
- TAPS
- Facile
- ASPIER
- XPi
- Spi2Java
- AsmL
- On the relationship between web services security and traditional protocols
- Towards an Automatic Analysis of Web Service Security
- 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
- Verified interoperable implementations of security protocols
This page was built for software: TulaFale
