The following pages link to (Q4411077):
Displaying 6 items.
- SecureUML (Q14375) (← links)
- A domain-specific language for cryptographic protocols based on streams (Q1001891) (← links)
- (Q2764118) (← links)
- Model-Driven Development of Security-Aware GUIs for Data-Centric Applications (Q3092178) (← links)
- (Q3839178) (← links)
- Model-Based Testing for Functional and Security Test Generation (Q5253584) (← links)