SecureUML
From MaRDI portal
Software:14375
swMATH1727MaRDI QIDQ14375FDOQ14375
Author name not available (Why is that?)
Cited In (6)
- Title not available (Why is that?)
- 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
- Towards the Integration of Security Aspects into System Development Using Collaboration-Oriented Models
- Model-Based Testing for Functional and Security Test Generation
This page was built for software: SecureUML
