Rafael Accorsi

发表

On the Relationship of Privacy and Secure Remote Logging in Dynamic Systems

Rafael Accorsi, R. Accorsi, 2006, SEC.

Compliance-Monitor zur Frühwarnung vor Risiken

Yoshinori Sato, Rafael Accorsi, Satoshi Kai, 2008, Wirtsch..

Detective Information Flow Analysis for Business Processes

Rafael Accorsi, Claus Wonnemann, 2009, BPSC.

Automatic Information Flow Analysis of Business Process Models

Rafael Accorsi, Andreas Lehmann, R. Accorsi, 2012, BPM.

Preface [ to Long-term and dynamical aspects of information security]

Rafael Accorsi, Andreas U. Schmidt, Michael Kreutzer, 2007 .

A secure log architecture to support remote auditing

Rafael Accorsi, R. Accorsi, 2013, Math. Comput. Model..

Auditing Workflow Executions against Dataflow Policies

Rafael Accorsi, Claus Wonnemann, 2010, BIS.

Toward Resilience Assessment in Business Process Architectures

Rafael Accorsi, Thomas G. Koslowski, Richard M. Zahoransky, 2014, SAFECOMP Workshops.

Security Workflow Analysis Toolkit

Rafael Accorsi, Thomas Stocker, Richard M. Zahoransky, 2014, Sicherheit.

Session details: Volume II: Software development, system software and security: Enterprise engineering track

Marco Montali, Artur Caetano, Rafael Accorsi, 2015 .

ComCert: Automated Certification of Cloud-based Business Processes

Lutz Lowis, Rafael Accorsi, 2010, ERCIM News.

Why Are Business Processes Not Secure?

Günter Müller, Rafael Accorsi, G. Müller, 2013, Number Theory and Cryptography.

Second Workshop on Security in Business Processes - A workshop report

Rafael Accorsi, Raimundas Matulevicius, 2013 .

Log Data as Digital Evidence: What Secure Logging Protocols Have to Offer?

Rafael Accorsi, 2009, 2009 33rd Annual IEEE International Computer Software and Applications Conference.

BBox: A Distributed Secure Log Architecture

Rafael Accorsi, R. Accorsi, 2010, EuroPKI.

Personalization in privacy-aware highly dynamic systems

Rafael Accorsi, Jens Strüker, Stefan Sackmann, 2006, CACM.

Workshop on Security in Business Processes - A workshop report

Rafael Accorsi, Raimundas Matulevicius, 2013, Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model..

Discovering Workflow Changes with Time-Based Trace Clustering

Rafael Accorsi, Thomas Stocker, 2011, SIMPDA.

On the exploitation of process mining for security audits: the conformance checking case

Rafael Accorsi, Thomas Stocker, 2012, SAC '12.

Transparenz durch Privacy Dashboards: Ein Process Mining Ansatz

Christian Zimmermann, Rafael Accorsi, 2013, GI-Jahrestagung.

On a Classification Approach for SOA Vulnerabilities

Lutz Lowis, Rafael Accorsi, R. Accorsi, 2009, 2009 33rd Annual IEEE International Computer Software and Applications Conference.

SecSy: Synthesizing Smart Process Event Logs

Rafael Accorsi, Thomas Stocker, 2013, EMISA.

Anwenden struktureller Nicht-Interferenz zur Sicherheitsanalyse von Workflow-Modellen

Rafael Accorsi, Rafael Accorsi, 2011, GI-Jahrestagung.

On the exploitation of process mining for security audits: the process discovery case

Günter Müller, Rafael Accorsi, Thomas Stocker, 2013, SAC '13.

Session details: Volume II: Software development, system software & security: enterprise engineering track

Artur Caetano, Rafael Accorsi, Minseok Song, 2014 .

On Information Flow Forensics in Business Application Scenarios

Günter Müller, Rafael Accorsi, Claus Wonnemann, 2009, 2009 33rd Annual IEEE International Computer Software and Applications Conference.

InDico: Information Flow Analysis of Business Processes for Confidentiality Requirements

Rafael Accorsi, Claus Wonnemann, R. Accorsi, 2010, STM.

Unleashing Operational Process Mining (Dagstuhl Seminar 13481)

Ernesto Damiani, Wil M. P. van der Aalst, Rafael Accorsi, 2013, Dagstuhl Reports.

Automated Privacy Audits to Complement the Notion of Control for Identity Management

Rafael Accorsi, 2007, IDMAN.

Modal Specifications of Trace-Based Security Properties

Luca Viganò, Rafael Accorsi, David Basin, 2002 .

Towards Forensic Data Flow Analysis of Business Process Logs

Rafael Accorsi, Claus Wonnemann, Thomas Stocker, 2011, 2011 Sixth International Conference on IT Security Incident Management and IT Forensics.

Data-Driven Process Discovery and Analysis: Third IFIP WG 2.6, 2.12 International Symposium, SIMPDA 2013, Riva del Garda, Italy, August 30, 2013

Philippe Cudré-Mauroux, Paolo Ceravolo, Rafael Accorsi, 2015 .

Business Process as a Service: Chances for Remote Auditing

Rafael Accorsi, R. Accorsi, 2011, 2011 IEEE 35th Annual Computer Software and Applications Conference Workshops.

Security in Business Process Management

Rafael Accorsi, 2013, it Inf. Technol..

Privacy Dashboards: Reconciling Data-Driven Business Models and Privacy

Christian Zimmermann, Günter Müller, Rafael Accorsi, 2014, 2014 Ninth International Conference on Availability, Reliability and Security.

Long-term and dynamical aspects of information security : emerging trends in information and communication security

Rafael Accorsi, Michael Kreutzer, Andreas U. Schmidt, 2007 .

Compliance Monitor for Early Warning Risk Determination

Rafael Accorsi, Yoshinori Sato MSc., Satoshi Kai MSc., 2008 .

SWAT: A Security Workflow Analysis Toolkit for Reliably Secure Process-aware Information Systems

Rafael Accorsi, Claus Wonnemann, Sebastian Dochow, 2011, 2011 Sixth International Conference on Availability, Reliability and Security.

Features as Constraints

M. de Rijke, Maarten de Rijke, Rafael Accorsi, 2000, FIW.

SecSy: A Security-oriented Tool for Synthesizing Process Event Logs

Rafael Accorsi, Thomas Stocker, 2014, BPM.

When four-eyes become too much: a survey on the interplay of authorization constraints and workflow resilience

Günter Müller, Rafael Accorsi, Julius Holderer, 2015, SAC.

Sichere Nutzungskontrolle für mehr Transparenz in Finanzmärkten

Günter Müller, Rafael Accorsi, Stefan Sackmann, 2009, Informatik-Spektrum.

Wil M. P. van der Aalst, Rafael Accorsi, Wil M.P. van der Aalst, 2012, CACM.

Verifiably Secure Process-Aware Information Systems (Dagstuhl Seminar 13341)

Michael Huth, Stefanie Rinderle-Ma, Jason Crampton, 2013, Dagstuhl Reports.

Data-Driven Process Discovery and Analysis

Paolo Ceravolo, Rafael Accorsi, Barbara Russo, 2012, Lecture Notes in Business Information Processing.

Security in Business Process Management

Rafael Accorsi, 2013 .

FORTES: Forensic Information Flow Analysis of Business Processes

Günter Müller, Rafael Accorsi, 2010, Distributed Usage Control.

Identification of Vulnerabilities in Web Services using Model-Based Security

Jan Jürjens, Lutz Lowis, Rafael Accorsi, 2010 .

Security and Trust Management

Rafael Accorsi, Silvio Ranise, 2013, Lecture Notes in Computer Science.

Preventive Inference Control in Data-centric Business Models

Günter Müller, Rafael Accorsi, 2013, 2013 IEEE Security and Privacy Workshops.

Automated Privacy Audits Based on Pruning of Log Data

Rafael Accorsi, Thomas Stocker, R. Accorsi, 2008, 2008 12th Enterprise Distributed Object Computing Conference Workshops.

Strong non-leak guarantees for workflow models

Rafael Accorsi, Claus Wonnemann, R. Accorsi, 2011, SAC.

Second Workshop on Security in Business Processes - A workshop report

Rafael Accorsi, Raimundas Matulevicius, 2013, Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model..

Vulnerability Analysis in SOA-Based Business Processes

Lutz Lowis, Rafael Accorsi, R. Accorsi, 2011, IEEE Transactions on Services Computing.

A Posteriori Process Security Control

Rafael Accorsi, 2015, ICISSP.

Resilience - A New Research Field in Business Information Systems?

Günter Müller, Rafael Accorsi, Thomas G. Koslowski, 2013, BIS.

Editorial to the second workshop on Security and Privacy in Enterprise Computing (InSPEC09)

Florian Kerschbaum, Rafael Accorsi, Ernesto Damiani, 2009, EDOCW.

On Process Rewriting for Business Process Security

Rafael Accorsi, 2013, SIMPDA.

Economic Analysis of Cryptocurrency Backed Money Laundering

Günter Müller, Rafael Accorsi, Christian Brenig, 2015, ECIS.

Information leak detection in business process models: Theory, application, and tool support

Niels Lohmann, Rafael Accorsi, Andreas Lehmann, 2015, Inf. Syst..

Safe-Keeping Digital Evidence with Secure Logging Protocols: State of the Art and Challenges

Rafael Accorsi, R. Accorsi, 2009, 2009 Fifth International Conference on IT Security Incident Management and IT Forensics.

Forensic Leak Detection for Business Process Models

Rafael Accorsi, Claus Wonnemann, 2011, IFIP Int. Conf. Digital Forensics.

On Providing One-to-One Marketing with Customers' Privacy in Stationary Retail

Günter Müller, Rafael Accorsi, Jens Strüker, 2008, 2008 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services.

Automated counterexample-driven audits of authentic system records

Rafael Accorsi, 2008 .

Delegating Secure Logging in Pervasive Computing Systems

Adolf Hohl, Rafael Accorsi, 2006, SPC.

Towards an awareness-based semantics for security protocol analysis

Luca Viganò, David A. Basin, Rafael Accorsi, 2001, Electron. Notes Theor. Comput. Sci..

FORISK: Formalizing information security risk and compliance management

Stefan Fenz, Thomas Neubauer, Rafael Accorsi, 2013, 2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W).

Computergestützte Prozessauditierung mit Process Mining

Rafael Accorsi, Thomas Stocker, Tobias Rother, 2014, HMD Praxis der Wirtschaftsinformatik.

Automated Certification for Compliant Cloud-based Business Processes

Yoshinori Sato, Lutz Lowis, Rafael Accorsi, 2011, Bus. Inf. Syst. Eng..

Challenges of Cloud Forensics: A Survey of the Missing Capabilities

Rafael Accorsi, Keyun Ruan, 2012, ERCIM News.

Automatisierte Compliance-Zertifizierung Cloud-basierter Geschäftsprozesse

Yoshinori Sato, Lutz Lowis, Rafael Accorsi, 2011, Wirtsch..

Static Information Flow Analysis of Workflow Models

Rafael Accorsi, Claus Wonnemann, R. Accorsi, 2010, ISSS/BPSC.

Auditing Work ow Executions against Data ow Policies

Rafael Accorsi, Claus Wonnemann, 2010 .

On Taming the Inference Threat in Social Networks ( Position Paper )

Rafael Accorsi, Christian Zimmermann, Günter Müller, 2012 .

A Security-aware Simulation Method for Generating Business Process Event Logs

Rafael Accorsi, 2012 .

SIMPDA 2013 : data-driven process discovery and analysis : proceedings of the 3rd International symposium on data-driven process discovery and analysis, co-located with 39th International conference on very large databases (VLDB 2013) : Riva del Garda, Italy, august 30, 2013

Philippe Cudré-Mauroux, Paolo Ceravolo, Rafael Accorsi, 2013 .