A higher level of computer security through active policies

This publication has 6 references indexed in Scilit:

• New thinking about information technology security
  Computers & Security, 1995
• Policy hierarchies for distributed systems management
  IEEE Journal on Selected Areas in Communications, 1993
• The infeasibility of quantifying the reliability of life-critical real-time software
  IEEE Transactions on Software Engineering, 1993
• Issues in developing software for safety critical systems
  Reliability Engineering & System Safety, 1991
• Evaluation of safety-critical software
  Communications of the ACM, 1990
• An experimental evaluation of the assumption of independence in multiversion programming
  IEEE Transactions on Software Engineering, 1986