Integration of formal and heuristic reasoning as a basis for testing and debugging computer security policy

• Authors:

• J. Bret Michael;Edgar H. Sibley;David C. Littleman

• Affiliations:

• Argonne National Laboratory, 9700 South Cass Avenue, Argonne, Illinois;George Mason University, 4400 University Drive, Fairfax, Virginia;George Mason University, 4400 University Drive, Fairfax, Virginia

• Venue:
• NSPW '92-93 Proceedings on the 1992-1993 workshop on New security paradigms
• Year:
• 1993