History-based access control and secure information flow (2005)

by A Banerjee, D A Naumann
Venue:Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, number 3362 in Lecture Notes in Computer Science