| |
| 1997 | ||
|---|---|---|
| 3 | EE | P. Greve, J. Hoffman, R. E. Smith: Using Type Enforcement to Assure a Configurable Guard. ACSAC 1997: 146- |
| 2 | EE | J. Hoffman: Implementing RBAC on a Type Enforced System. ACSAC 1997: 158-163 |
| 1 | EE | J. Hoffman: A Practical Notation for Object Oriented Analysis with a Formal Meaning. TOOLS (25) 1997: 225-237 |
| 1 | P. Greve | [3] |
| 2 | R. E. Smith | [3] |