Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
A Logic for State-Modifying Authorization Policies

Moritz Y. Becker and Sebastian Nanz

Details

Publication typeArticle
Published inACM Transactions on Information and System Security (TISSEC)
Volume13
Number3
PublisherAssociation for Computing Machinery, Inc.
> Publications > A Logic for State-Modifying Authorization Policies