Pages that link to "Item:Q5901850"
From MaRDI portal
The following pages link to Foundations of Security Analysis and Design II (Q5901850):
Displaying 8 items.
- Measuring the confinement of probabilistic systems (Q557887) (← links)
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes (Q974113) (← links)
- On reductions from multi-domain noninterference to the two-level case (Q2165480) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- Classification of security properties in a Linda-like process algebra (Q2432759) (← links)
- Non Expansive ε-Bisimulations (Q5505435) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709373) (← links)
- (Q5856402) (← links)