A logic for state-modifying authorization policies

Moritz Y. Becker, Sebastian Nanz. A logic for state-modifying authorization policies. ACM Trans. Inf. Syst. Secur., 13(3), 2010. [doi]

Authors

Moritz Y. Becker

This author has not been identified. Look up 'Moritz Y. Becker' in Google

Sebastian Nanz

This author has not been identified. It may be one of the following persons: Look up 'Sebastian Nanz' in Google