A certified access control policy language: TEpla.

Amir Eaman Amy P. Felty

Published in: Innov. Syst. Softw. Eng. (2024)

Keyphrases

access control policies
access control
formal language
programming language
distributed environment
security policies
distributed systems
fine grained
conflict resolution
trusted computing
access control mechanism
databases
intelligent systems