Ramesh V. Peri, William A. Wulf. Formal Specification of Information Flow Security Policies and Their Enforcement in Security Critical Systems. In CSFW. pages 118-125, 1994.
No references recorded for this publication.
No citations of this publication recorded.