Permission to speak: a logic for access control and conformance
scientific article; zbMATH DE number 5833477
scientific article