Pages that link to "Item:Q4443488"
From MaRDI portal
The following pages link to Secure Systems Development with UML (Q4443488):
Displaying 6 items.
- A domain-specific language for cryptographic protocols based on streams (Q1001891) (← links)
- Formally sound implementations of security protocols with JavaSPI (Q1707348) (← links)
- Architectural refinement and notions of intransitive noninterference (Q1941885) (← links)
- (Q2764118) (← links)
- (Q3839178) (← links)
- Model-Based Security Engineering: Managed Co-evolution of Security Knowledge and Software Models (Q5253586) (← links)