UMLsec

swMATH12754MaRDI QIDQ24678FDOQ24678

Author name not available (Why is that?)

Cited In (2)

• Model-Based Testing for Functional and Security Test Generation
• Formally sound implementations of security protocols with JavaSPI

This page was built for software: UMLsec