selected publications conference paper An Augmented Capability Architecture to Support Lattice Security and Traceability of Access. . 1984