Pages that link to "Item:Q276474"
From MaRDI portal
The following pages link to The security picalculus and non-interference (extended abstract) (Q276474):
Displaying 4 items.
- The security pi-calculus and non-interference (Q1772311) (← links)
- Controlling information release in the \(\pi\)-calculus (Q2643083) (← links)
- Secured information flow for asynchronous sequential processes (Q2864389) (← links)
- Impracticality of Efficient PVSS in Real Life Security Standard (Poster) (Q3013015) (← links)