Spi2Java
From MaRDI portal
Software:21914
No author found.
Related Items (3)
Unnamed Item ⋮ Security Protocol Verification: Symbolic and Computational Models ⋮ Safe abstractions of data encodings in formal security protocol models
This page was built for software: Spi2Java