Towards Access Control Model Engineering. - Winfried E. Kühnhauser; Anja Pölck (ICISS, 2011)

Model-based safety analysis of SELinux security policies. - Peter Amthor 001; Winfried E. Kühnhauser; Anja Pölck (NSS, 2011)

Heuristic safety analysis of access control models. - Peter Amthor 001; Winfried E. Kühnhauser; Anja Pölck (SACMAT, 2013)

WorSE: A Workbench for Model-based Security Engineering. - Peter Amthor 001; Winfried E. Kühnhauser; Anja Pölck (Comput. Secur., 2014)

Small TCBs of policy-controlled operating systems. - Anja Pölck (Universitäts-Verlag, 2014)