1. Naming and grouping privileges to simplify security management in large databases;Baldwin;Proc. 1990 IEEE Symp. on Research in Security and Privacy,1990
2. EHDM Specification and Verification System Version 4.1: User's Guide,1988
3. EHDM Specification and Verification System Version 5.0: Description of the EHDM Specification Language,1990
4. EHDM Specification and Verification System: Version 5.1 Suplement to User's and Language Manuals,1990
5. EHDM verification environment: An overview;Crow;Proc. 11th National Computer Security Conf.,1988