Spi2Java

MaRDI QIDQ21914swMATHFDO

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

Cited in

(9)

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

This page was built for software: Spi2Java