Skip to main content

Extending noninterference properties to the timed world

A. W. Roscoe and Jian Huang

Book Title
Proceedings of SAC 2006
Note
to appear
Year
2006