Safety analysis for the extended schematic protection model

This publication has 19 references indexed in Scilit:

• Using mandatory integrity to enforce 'commercial' security
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Formal modeling in a generalized framework for access control
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The specification and modeling of computer security
  Computer, 1990
• The demand operation in the schematic protection model
  Information Processing Letters, 1989
• The schematic protection model
  Journal of the ACM, 1988
• The algebra of security
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
• Issues in Discretionary Access Control
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1985
• A Linear time algorithm for deciding security
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1976
• Protection in operating systems
  Communications of the ACM, 1976
• Protection
  ACM SIGOPS Operating Systems Review, 1974