UMLsec

swMATH12754MaRDI QIDQ24678FDOQ24678

Author name not available (Why is that?)

Official website: https://www-secse.cs.tu-dortmund.de/secse/pages/research/UMLsec/index_en.shtml

Cited In (11)

• TorX
• STG
• HERBY
• MARTE
• JavaSPI
• MJ
• Bouncy Castle
• TGV
• Model-Based Testing for Functional and Security Test Generation
• JUMBL
• Formally sound implementations of security protocols with JavaSPI

This page was built for software: UMLsec