Reasoning About Security: A Logic and a Decision Method for Role-Based Access Control.

Fabio Massacci

Browse the full ECSQARU paper archive.