Publication type: [ Journals | Conference and Workshop Papers | Extended Abstracts and Position Papers | Book Chapters | Edited Volumes | Theses | Others ]
Ref. databases:  [ DBLP | Google Scholar | IIG | ACM ]

Journals

9. Rafael Accorsi, Lutz Lowis and Yoshinori Sato
   Automatisierte Compliance-Zertifizierung Cloud-basierter Geschäftsprozesse.
   Wirtschaftsinformatik 53(3), pp. 139-149, 2011.
   [ Springer | bib ]
8. Rafael Accorsi, Lutz Lowis and Yoshinori Sato
   Automated certification for compliant Cloud-based business processes.
   Business & Information Systems Engineering 3(3), pp. 145-154, 2011.
   [ Springer | bib ]
7. Lutz Lowis and Rafael Accorsi
   Vulnerability analysis in SOA-based business processes.
   IEEE Transactions on Services Computing 4(3), pp. 230-242, 2011.
   [ IEEE | bib ]
6. Rafael Accorsi and Lutz Lowis
   ComCert: Automated certification of Cloud-based business processes.
   ERCIM News, Special Theme on Cloud Computing Platforms, Software, and Applications, 83, pp. 50-51, 2010.
   [ ERCIM | with refs | bib ]
5. Günter Müller, Rafael Accorsi, Sebastian Höhn and Stefan Sackmann
   Sichere Nutzungskontrolle für mehr Transparenz in Finanzmärkten.
   (Secure usage control for transparency in financial markets)
   Informatik Spektrum 33(1), pp. 3-13, 2010.
   [ Springer | bib ]
4. Rafael Accorsi, Yoshinori Sato and Satoshi Kai
   Compliance monitor for early warning risk determination.
   Wirtschaftsinformatik 50(5), pp. 375-382, 2008.
   [ Springer | bib ]
3. Stefan Sackmann, Jens Strüker and Rafael Accorsi
   Personalization in privacy-aware highly dynamic systems.
   Comm. ACM, 49(9), pp. 32-38, 2006.
   [ ACM | bib ]
2. Rafael Accorsi, David Basin and Luca Viganò
   Towards an awareness-based semantics for security protocol analysis.
   Eletronic Notes in Theoretical Computer Science 55(1) pp. 5-24, Elsevier 2001.
   [ Elsevier | bib ]
1. Rafael Accorsi, Carlos Areces and Maarten de Rijke
   An approach to feature interaction via stable models.
   Brazilian Eletronic Journal on Mathematics of Computation 1(1), 1999.
   [ bib ]

Conference and Workshop Papers

29. Rafael Accorsi and Thomas Stocker.
    On the Exploitation of Process Mining for Security Audits: The Conformance Checking Case.
    ACM Symposium on Applied Computing, 2012.
    [ ACM | bib ]
28. Rafael Accorsi and Thomas Stocker.
    Towards security-aware process mining (short paper).
    IFIP Symposium on Data-Driven Process Discovery and Analysis, 2011.
    [ Springer | bib ]
27. Rafael Accorsi.
    Anwenden von struktureller Nicht-Interferenz zur Sicherheitsanalyse von Workflow-Modellen.
    INFORMATIK 2011. Track: Dependable Software for Critical Infrastructures. LNI, 2011.
    [ LNI | bib ]
26. Rafael Accorsi, Claus Wonnemann and Sebastian Dochow.
    SWAT: A security analysis toolkit for reliably process-aware information systems.
    Conference on Availability, Reliability and Security. IEEE, 2011.
    [ IEEE | bib ]
25. Rafael Accorsi.
    Business process as a service: Chances for remote auditing.
    IEEE Computer Software and Applications Conference. IEEE, 2011.
    [ IEEE | bib ]
24. Rafael Accorsi, Claus Wonnemann and Thomas Stocker.
    Towards forensic data flow analysis of business process logs.
    IT Security Incident Management & IT Forensics. IEEE, 2011.
    [ IEEE | bib ]
23. Rafael Accorsi and Claus Wonnemann
    Informationsfluss-Mechanismen zur Zertifizierung von Cloud-basierten Geschäfsprozessen.
    German IT-Security Congress. SecuMedia, 2011.
    [ SecuMedia | bib ]
22. Rafael Accorsi and Claus Wonnemann
    Forensic leak detection analysis for business processes models.
    IFIP Conference on Digital Forensics. Springer, 2011.
    [ Springer | bib ]
21. Rafael Accorsi and Claus Wonnemann
    Strong non-leak guarantees for workflow models.
    ACM Symposium on Applied Computing. ACM, 2011.
    [ ACM | bib ]
20. Rafael Accorsi and Claus Wonnemann
    InDico: Information flow analysis of business processes for confidentiality requirements.
    ERCIM Workshop on Security and Trust Management. Springer, 2010.
    [ Springer | bib ]
19. Rafael Accorsi and Claus Wonnemann
    Static information flow analysis of workflow models.
    Business Process and Service Computing. LNI, 2010.
    [ LNI | bib ]
18. Rafael Accorsi
    BBox: A distributed secure log architecture.
    European Workshop on Public Key Services, Applications and Infrastructures. Springer, 2010.
    [ Springer | bib ]
17. Rafael Accorsi and Claus Wonnemann
    Auditing workflow executions against dataflow policies.
    Business Information Systems. Springer, 2010.
    [ Springer | bib ]
16. Rafael Accorsi
    Safekeeping digital evidence with secure logging protocols: State of the art and challenges.
    IT Security Incident Management & IT Forensics. IEEE, 2009.
    [ IEEE | bib ]
15. Lutz Lowis and Rafael Accorsi
    On a classification approach for SOA vulnerabilities.
    IEEE Computer Software and Applications Conference. IEEE, 2009.
    [ IEEE | bib ]
14. Rafael Accorsi
    Log data as digital evidence: What secure logging protocols have to offer?
    IEEE Computer Software and Applications Conference. IEEE, 2009.
    [ IEEE | bib ]
13. Claus Wonnemann, Rafael Accorsi, and Günter Müller
    On information flow forensics in business application scenarios.
    IEEE Computer Software and Applications Conference. IEEE, 2009.
    [ IEEE | bib ]
12. Rafael Accorsi and Claus Wonnemann
    Detective information flow analysis for business processes.
    Business Processes, Services Computing and Intelligent Service Management. Bonner-Köllen Verlag, 2009.
    [ GI | bib ]
11. Rafael Accorsi and Thomas Stocker
    Automated privacy audits based on pruning of log data.
    IEEE Enterprise Distributed Object Computing Conference. IEEE, 2008.
    [ IEEE | bib ]
10. Jens Strüker, Rafael Accorsi and Günter Müller
    On providing one-to-one marketing with customers' privacy in stationary retail.
    IEEE Joint Conference on E-Commerce Technology. IEEE, 2008.
    [ IEEE | bib ]
9. Rafael Accorsi
   Automated privacy audits to complement the notion of control for identity management.
   IFIP Conference on Policies and Research in Identity Management. Springer, 2008.
   [ Springer | bib ]
8. Rafael Accorsi and Matthias Bernauer
   On privacy evidence for UbiComp environments -- Broadening the notion of control to improve user acceptance.
   Workshop on Privacy in UbiComp, pp. 433-438, 2007.
   [ bib ]
7. Martin Kähmer and Rafael Accorsi
   Kundenkarten in hochdynamischen Systemen: Von einer Gefährdung zum Schutz der Privatsphäre.
   Kommunikation in verteilten Systemen, 2007.
   [ bib ]
6. Rafael Accorsi
   On the relationship of privacy and secure remote logging in dynamic systems.
   IFIP Security Conference. Springer, 2006.
   [ Springer | bib ]
5. Rafael Accorsi and Adolf Hohl
   Delegating secure logging in pervasive computing systems.
   Security in Pervasive Computing. Springer, 2006.
   [ Springer | bib ]
4. Rafael Accorsi
   Towards a secure logging mechanism for dynamic systems
   IT Security Symposium. 2005.
   [ bib | PDF of short version ]
3. Rafael Accorsi, David Basin and Luca Viganò
   Modal specifications of trace-based security properties.
   Workshop on Security of Mobile Multiagent Systems, 2002.
   [ bib ]
2. Rafael Accorsi, Carlos Areces, Wiet Bouma and Maarten de Rijke
   Features as constraints.
   Feature Interaction and Telecommunication. IOC Press, 2000
   [ bib ]
1. Rafael Accorsi, Carlos Areces and Maarten de Rijke
   Towards feature interaction via stable models.
   Workshop on Formal Methods, 1999.
   [ bib ]

Extended Abstracts and Position Papers

4. Rafael Accorsi
   Reliably Secure Business Process Specifications.
   2011 Grande Region Security and Reliability Day, March 2011.
3. Rafael Accorsi and Günter Müller
   FORTES: Forensic information flow analysis of business processes.
   Dagstuhl Seminar on Distributed Usage Control, April 2010.
   [ DROPS ]
2. Rafael Accorsi and Thomas Stocker
   On frameworks for the visualization of privacy policies implications.
   W3C Workshop on Access Control Application Scenarios, November 2009.
   [ Slides | Report ]
1. Maike Gilliot and Rafael Accorsi
   Runtime prediction of policy violations in automated business processes.
   Proceedings of the PrimeLife/IFIP Summer School, September 2009.
   

Book Chapters

3. Sebastian Höhn, Lutz Lowis, Jan Jürjens and Rafael Accorsi
   Identification of Vulnerabilities in Web Services Using Model-based Security.
   Web Services Security Development and Architecture: Theoretical and Practical Issues, IGI Global, 2010.
   [ Book | Amazon ]
2. Günter Müller, Rafael Accorsi, Sebastian Höhn, Martin Kähmer and Moritz Strasser
   Sicherheit in Ubiquitous Computing: Schutz durch Gebote?
   Die Informatisierung des Alltags, pp. 127-142, Springer-Verlag, 2007.
   [ Springer ]
1. Sebastian Höhn, Rafael Accorsi and Mathias Maier
   An Approach to Usable Security for Ambient Intelligence Environments.
   Long-Term and Dynamical Aspects of Information Security, pp. 1-15. Nova Publishers, 2008.
   

Edited Volumes

5. Rafael Accorsi, Artur Caetano, Rogério Atem de Carvalho and Maria-Eugenia Iacob.
   Editorial Message: The 9th Enterprise Engineering Track at ACM SAC 2012.
   [ Preface | ACM ]
4. Rafael Accorsi and Wil M. P. van der Aalst.
   Proceedings of the 1st Workshop on Workflow Security Audit and Certification (WfSAC'11).
   [ Preface | LNCS ]
3. Rafael Accorsi, Ernesto Damiani, Frank Innerhofer-Oberperfler and Florian Kerschbaum.
   Proceedings of the 2nd Workshop on Security and Privacy in Enterprise Computing (InSPEC'09).
   [ Editorial | IEEE | bib ]
2. Andreas Schmidt, Michael Kreutzer and Rafael Accorsi (eds.)
   Long-term and dynamical aspects of information security.
   Nova Editors, 2008.
1. Rafael Accorsi and Jan Peters (eds.)
   Proceedings of the ETRICS Workshop on Security in Autonomous Systems.
   Vol. 182 of CEUR Workshop Proceedings, Freiburg, Germany, June 2006.

Theses

3. Automated Counterexample-Driven Audits of Authentic System Records.
   Ph.D. Thesis, University of Freiburg, Germany, 2008.
   Correctors: Prof. Günter Müller and Prof. David Basin.
   [ FreiDok | bib ]
2. Exploring the Behaviour of Feature Interaction via Stable Models.
   Master of Logic Thesis, University of Amsterdam, Holland, 2000.
   Correctors: Prof. Maarten de Rijke and Prof. Carlos Areces.
   [ bib ]
1. Definição dos Algorítmos de Implementação dos Operadores da Lógica Linear.
   (Specifying Algorithms for the Linear Logic Connectives.)
   Bachelor Thesis, University of Pelotas, Brazil, 1998.
   Correctors: Prof. Renata Reiser and Prof. Graçaliz Dimuro.

Others

4. Claus Wonnemann
   Towards information flow auditing in workflows.
   Doktorandensymposium of the Software Engineering 2010, to appear in the LNI, 2010.
   
3. Rafael Accorsi, Martin Kähmer and Günter Müller
   Security in UbiComp: protection through commandments.
   Poster Session at the 7th Conference on Ubiquitous Computing. Japan, 2005.
   [ bib ]
2. Rafael Accorsi
   MAX2SAT is NP-complete.
   Written exam at the University of Amsterdam, 1999.
1. Rafael Accorsi and Johan van Benthem
   Lorenzen's Games and Linear Logic.
   Note at the University of Amsterdam, 1998.