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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.