Extending noninterference properties to the timed world
A. W. Roscoe and Jian Huang
Details
| Book Title |
Proceedings of SAC 2006 |
| Note |
to appear |
| Year |
2006 |
Links
Related pages
|
People |