Skip to main content

On Information Flow and Refinement−Closure

Gavin Lowe

Book Title
Proceedings of the Workshop on Issues in the Theory of Security (WITS '07)
Year
2007