JavaSPI

swMATH23647MaRDI QIDQ35418FDOQ35418

Author name not available (Why is that?)

Official website: https://link.springer.com/article/10.1007/s00165-017-0449-8

Described by source

• Formally sound implementations of security protocols with JavaSPI

Cited In (7)

• ASPIER
• Spi2Java
• UMLsec
• TS#
• MJ
• Bouncy Castle
• ZKPDL

This page was built for software: JavaSPI