SecureUML
From MaRDI portal
Cited in
(15)- A domain-specific language for cryptographic protocols based on streams
- AGATHA
- i*
- HOL-OCL
- STG
- vUML
- CheckVML
- Semantics, calculi, and analysis for object-oriented specifications
- UMLsec
- Integration of access control in information systems: from role engineering to implementation
- Towards the integration of security aspects into system development using collaboration-oriented models
- TGV
- Model-Based Testing for Functional and Security Test Generation
- JUMBL
- Software requirements and architecture modeling for evolving non-secure applications into secure applications
This page was built for software: SecureUML
