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

by A Banerjee, D A Naumann
Venue:In Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart Cards