Extending noninterference properties to the timed world (Proceedings of SAC 2006, 2006)

(untitled) - Roscoe, A; Huang, J