Spi2Java

swMATH9935MaRDI QIDQ21914FDOQ21914

Author name not available (Why is that?)

Official website: http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=1283943

Cited In (8)

• Security protocol verification: symbolic and computational models
• TulaFale
• ASPIER
• JavaSPI
• MJ
• ZKPDL
• Verified interoperable implementations of security protocols
• Safe abstractions of data encodings in formal security protocol models

This page was built for software: Spi2Java