HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Jason Crampton

Publications
Authorization Enforcement in Workflows: Maintaining Realizability Via Automated Reasoning
Jason Crampton, Michael Huth and Jim Huan-Pu Kuo
In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning

Keyphrases

Authorization Enforcement Functions, Binary Decision Diagrams, LTL model checking, satisfiability, Workflow Systems.

Copyright © 2012-2025 easychair.org. All rights reserved.