Date of Original Version

1991

Type

Technical Report

Rights Management

All Rights Reserved

Abstract or Description

Abstract: "The Miró visual language [HMT90] allow a user to specify the security configuration of a file system and general security policy constraints. We describe our use of the Larch specification languages [GHW85, GHM90] to specify Miró pictures and the Miró graphical editor; we include the complete specification as an appendix."

Share

COinS