M. Hafner

发表

Towards Model Driven Security of Inter-Organizational Workflows

Ruth Breu, Michael Hafner, Barbara Weber, 2004 .

Living Security - Collaborative Security Management in a Changing World

Ruth Breu, Frank Innerhofer-Oberperfler, Michael Hafner, 2011 .

Modeling Authorization in an SOA based Application Scenario

Ruth Breu, Michael Hafner, Muhammad Alam, 2006, IASTED Conf. on Software Engineering.

Modelling inter-organizational workflow security in a peer-to-peer environment

Ruth Breu, Michael Hafner, Michael Breu, 2005, IEEE International Conference on Web Services (ICWS'05).

A framework for modelling restricted delegation of rights in the SECTET

Ruth Breu, Michael Hafner, Muhammad Alam, 2007, Comput. Syst. Sci. Eng..

Modeling and Realizing Security-Critical Inter-Organizational Workflows

Ruth Breu, Michael Hafner, Barbara Weber, 2004, IASSE.

Security Analysis of Service Oriented Systems: A Methodical Approach and Case Study

Ruth Breu, Frank Innerhofer-Oberperfler, Markus Mitterer, 2010 .

Security in Information Systems, Proceedings of the 5th International Workshop on Security in Information Systems, WOSIS 2007, In conjunction with ICEIS 2007, Funchal, Madeira, Portugal, June 2007

Michael Hafner, Duminda Wijesekera, Guo Rui, 2007, WOSIS.

Modeling and Enforcing Advanced Access Control Policies in Healthcare Systems with Sectet

Michael Hafner, Muhammad Alam, Mukhtiar Memon, 2008, MoDELS.

A Framework for Modeling Restricted Delegation in Service Oriented Architecture

Ruth Breu, Michael Hafner, Muhammad Alam, 2006, TrustBus.

Key Issues of a Formally Based Process Model for Security Engineer-ing

Ruth Breu, Klaus Burger, Michael Hafner, 2003 .

From WS-CDL choreography to BPEL process orchestration

Jan Mendling, Michael Hafner, J. Mendling, 2008, J. Enterp. Inf. Manag..

Constraint based role based access control in the SECTET-frameworkA model-driven approach

Ruth Breu, Michael Hafner, Muhammad Alam, 2008, J. Comput. Secur..

Model Driven Configuration of Secure Operating Systems for Mobile Applications in Healthcare

M. Hafner, J. Seifert, M. Alam, 2007 .

D2.3 An Integrated Security Process for Lifelong Adaptable Systems

Frank Innerhofer-Oberperfler, Michael Hafner, Simon Forster, 2012 .

From Inter-organizational Workflows to Process Execution: Generating BPEL from WS-CDL

Jan Mendling, Michael Hafner, J. Mendling, 2005, OTM Workshops.

Web Service Engineering - Advancing a New Software Engineering Discipline

Ruth Breu, Michael Hafner, Michael Breu, 2005, ICWE.

A constraint based role based access control in the SECTET a model-driven approach

Ruth Breu, Michael Hafner, Muhammad Alam, 2006, PST.

Modeling permissions in a (U/X)ML world

Ruth Breu, Michael Hafner, Muhammad Alam, 2006, First International Conference on Availability, Reliability and Security (ARES'06).

Towards a MOF/QVT-Based domain architecture for model driven security

Ruth Breu, Michael Hafner, Muhammad Alam, 2006, MoDELS'06.

A general obligation model and continuity: enhanced policy enforcement engine for usage control

Jean-Pierre Seifert, Ruth Breu, Michael Hafner, 2008, SACMAT '08.

Model Driven Security for Inter-organizational Workflows in e-Government

B. Weber, R. Breu, M. Hafner, 2005, TCGOV.