Specifying Security Constraints with Relaxation Lattices

Maurice Herlihy, Jeannette M. Wing. Specifying Security Constraints with Relaxation Lattices. In CSFW. pages 47-53, 1989.

Abstract

Abstract is missing.