1. Principles of model checking;Baier,2008
2. Enforceable security policies revisited;Basin;ACM Trans Inf Syst Secur,2013
3. Composing security policies with polymer;Bauer,2005
4. A language and system for composing security policies;Bauer,2004
5. Anytime, anywhere, modal logics for mobile ambients;Cardelli,2000