Keith Irwin, Ting Yu, William H. Winsborough. Enforcing security properties in task-based systems. In Indrakshi Ray, Ninghui Li, editors, SACMAT 2008, 13th ACM Symposium on Access Control Models and Technologies, Estes Park, CO, USA, June 11-13, 2008, Proceedings. pages 41-50, ACM, 2008. [doi]
Abstract is missing.