TulaFale
From MaRDI portal
swMATH986MaRDI QIDQ13730FDOQ13730
Author name not available (Why is that?)
Official website: http://rd.springer.com/chapter/10.1007/978-3-540-30101-1_9
Cited In (16)
- 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
- On the relationship between web services security and traditional protocols
- Towards an Automatic Analysis of Web Service Security
- Facile
- ASPIER
- XPi
- Spi2Java
- AsmL
- 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
