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