13 Outline Introduction of UCON Temporal Logic of Action (TLA) Logic Model for UCON with TLA Specification of Authorization Core Models Specification of Obligation Core Models Specification of Condition Core Models Expressivity and Flexibility Conclusions and Future Work
{}