SecureUML

swMATH1727MaRDI QIDQ14375FDOQ14375

Author name not available (Why is that?)

Official website: http://rd.springer.com/chapter/10.1007/3-540-45800-X_33

Cited In (14)

• 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
• Semantics, calculi, and analysis for object-oriented specifications
• i*
• HOL-OCL
• STG
• CheckVML
• vUML
• UMLsec
• TGV
• Model-Based Testing for Functional and Security Test Generation
• JUMBL

This page was built for software: SecureUML