1. A theory of timed automata;Alur;Theoretical Computer Science,1994
2. Parameterized verification with automatically computed inductive assertions;Arons,2001
3. A model of OASIS role-based access control and its support for active security;Bacon;ACM Transactions on Information and System Security (TISSEC),2002
4. Becker MY. Cassandra: flexible trust management and its application to electronic health records. Ph.D. thesis. University of Cambridge; 2005.
5. Specification and analysis of dynamic authorisation policies;Becker,2009