JavaSPI

MaRDI QIDQ35418swMATHFDO

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

(8)

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

This page was built for software: JavaSPI