Pages that link to "Item:Q5705885"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705885):
Displaying 8 items.
- A comparison of semantic models for noninterference (Q604479) (← links)
- Linearity and bisimulation (Q997996) (← links)
- Fibred security language (Q1037607) (← links)
- (Q3384915) (← links)
- Persistent Stochastic Non-Interference (Q5158656) (← links)
- Model-Driven Information Flow Security for Component-Based Systems (Q5170740) (← links)
- Timing-Sensitive Information Flow Analysis for Synchronous Systems (Q5862523) (← links)
- Relating Process Languages for Security and Communication Correctness (Extended Abstract) (Q5881535) (← links)