DMCA

Non-interference through Determinism (1994)

Cached

Download Links

by A. W. Roscoe , J. C. P. Woodcock , L. Wulf
Venue:Journal of Computer Security
Citations:76 - 16 self