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

James Bret Michael, Edgar H. Sibley, David C. Littman

Browse the full NSPW paper archive.