Anja Pölck

According to our database, Anja Pölck authored at least 5 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

Small TCBs of policy-controlled operating systems.

Anja Pölck

PhD thesis, 2014

WorSE: A Workbench for Model-based Security Engineering.

Peter Amthor, Winfried E. Kühnhauser, Anja Pölck

Comput. Secur., 2014

2013

Heuristic safety analysis of access control models.

Peter Amthor, Winfried E. Kühnhauser, Anja Pölck

Proceedings of the 18th ACM Symposium on Access Control Models and Technologies, 2013

2011

Model-based safety analysis of SELinux security policies.

Peter Amthor, Winfried E. Kühnhauser, Anja Pölck

Proceedings of the 5th International Conference on Network and System Security, 2011

Towards Access Control Model Engineering.

Winfried E. Kühnhauser, Anja Pölck

Proceedings of the Information Systems Security - 7th International Conference, 2011