A Security Flow Control Algorithm and Its Denotational Semantics Correctness Proof (1992)

Cached

Download Links

by Masaaki Mizuno , David Schmidt
Citations:27 - 0 self