Skip to main content

On the Refinement Closure of Information−Flow Properties

Thomas Gibson−Robinson

Year
2009