Skip to content

Extending noninterference properties to the timed world.

Jian Huang, A. W. Roscoe

Year2006
ProceedingsSAC

Browse the full SAC paper archive.