J. Hoffman

Publication Activity (10 Years)

Years Active: 1997-1997
Publications (10 Years): 0

Publications

J. Hoffman
Implementing RBAC on a Type Enforced System. ACSAC (1997)
P. Greve, J. Hoffman, R. E. Smith
Using Type Enforcement to Assure a Configurable Guard. ACSAC (1997)
J. Hoffman
A Practical Notation for Object Oriented Analysis with a Formal Meaning. TOOLS (25) (1997)