A Formal Model for UNIX Setuid.

Timothy E. Levin S. J. Padilla Cynthia E. Irvine

Published in: IEEE Symposium on Security and Privacy (1989)

Keyphrases

formal model
operating system
user friendly
security properties
command line
formal models
predicate calculus
databases
windows nt
security patterns
database applications
db udb