- Dynamic security rules for legacy systems2019 | Matematicko-fyzikální fakulta
- Secure role-based workflow models2004 | Matematicko-fyzikální fakulta
- Dynamic Security Specification through Autonomic Component Ensemble2018 | Matematicko-fyzikální fakulta
- Výzvy, hrozby a úzká místa informatiky2010 | Matematicko-fyzikální fakulta