[ACM Press Proceedings on the 1992-1993 workshop - Little Compton, Rhode Island, United States (1993..-..)] Proceedings on the 1992-1993 workshop on New security paradigms - NSPW '92-93 - Integration of formal and heuristic reasoning as a basis for testing and debugging computer security policy

[ACM Press Proceedings on the 1992-1993

✍ Michael, J. Bret; Sibley, Edgar H.; Littleman, David C. 📂 Article 📅 1993 🏛 ACM Press 🌐 English ⚖ 623 KB

Errors can arise in defining and evaluating computer security policy as well as in translating computer security policy into procedures. The effect of such errors in policy upon the secure operation of information systems can impose unacceptable levels of risk from the perspective of procurers and