Login / Signup

A Model for Verification of Data Security in Operating Systems.

Gerald J. PopekDavid A. Farber
Published in: Commun. ACM (1978)
Keyphrases
  • operating system
  • data security
  • management system
  • database
  • distributed systems
  • data management