Sciweavers

CSFW
1989
IEEE
13 years 11 months ago
Specifying Security Constraints with Relaxation Lattices
Maurice Herlihy, Jeannette M. Wing