Enforcing security properties in task-based systems.

Keith Irwin, Ting Yu, William H. Winsborough

Browse the full SACMAT paper archive.