The following pages link to SecureUML (Q14375):
Displaying 6 items.
- Software requirements and architecture modeling for evolving non-secure applications into secure applications (Q877953) (← links)
- A domain-specific language for cryptographic protocols based on streams (Q1001891) (← links)
- Semantics, calculi, and analysis for object-oriented specifications (Q2390933) (← links)
- (Q3379044) (← links)
- Towards the Integration of Security Aspects into System Development Using Collaboration-Oriented Models (Q3557711) (← links)
- Model-Based Testing for Functional and Security Test Generation (Q5253584) (← links)