UMLsec

MaRDI QIDQ24678swMATHFDO

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

Cited in

(14)

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

This page was built for software: UMLsec