A State-Based Approach to Non-Interference

William D. Young, William R. Bevier. A State-Based Approach to Non-Interference. In CSFW. pages 11-21, 1994.

Possibly Related Publications

The following publications are possibly variants of this publication: