Rafael Accorsi: Publications

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

Journals

  1. Rafael Accorsi, Yoshinori Sato and Satoshi Kai
    Compliance Monitor for Early Warning Risk Determination.
    Wirtschaftsinformatik 50(5), 375-382, Vieweg, 2008.
    [ Springer | Bib ]
  2. Stefan Sackmann, Jens Strüker and Rafael Accorsi
    Personalization in Privacy-Aware Highly Dynamic Systems.
    Comm. ACM, vol. 49(9), pp. 32-38, 2006.
    [ ACM | Bib ]
  3. Rafael Accorsi, David Basin and Luca Viganò
    Towards an awareness-based semantics for security protocol analysis.
    Eletronic Notes in Theoretical Computer Science, 55(1) p. 5-24, Elsevier 2001.
    [ Elsevier | Bib ]
  4. 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 ]

Edited Volumes

  1. Rafael Accorsi, Ernesto Damiani, Frank Innerhofer-Oberperfler and Florian Kerschbaum.
    Proceedings of the 2nd Workshop on Security and Privacy in Enterprise Computing (InSPEC09).
    [ Editorial ]
  2. Andreas Schmidt, Michael Kreutzer and Rafael Accorsi (eds.)
    Long-term and dynamical aspects of information security.
    Nova Editors, 2008.
  3. 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.

Book Chapters

  1. Sebastian Höhn, Jan Jürjens, Lutz Lowis and Rafael Accorsi
    Identification of Vulnerabilities in Web Services Using Model-based Security.
    To appear in Web Services Security Development and Architecture: Theoretical and Practical Issues, IGI Global, 2010.
  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 | Bib ]
  3. 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.
    [ Bib ]

Conference and Workshop Papers

  1. Rafael Accorsi and Thomas Stocker
    On Frameworks for the Visualization of Privacy Policies Implications (Position Paper).
    W3C Workshop on Access Control Application Scenarios, 2009.
    [ Slides | W3C ]
  2. Rafael Accorsi
    Safekeeping Digital Evidence with Secure Logging Protocols: State of the Art and Challenges.
    5th Conference on IT Security Incident Management & IT Forensics, IEEE, 2009.
    [ IEEE | Bib ]
  3. Maike Gilliot and Rafael Accorsi
    Runtime Prediction of Policy Violations in Automated Business Processes (Extended Abstract).
    Proceedings of the PrimeLife/IFIP Summer School, 2009.
    [ Bib ]
  4. Lutz Lowis and Rafael Accorsi
    On a Classification Approach for SOA Vulnerabilities.
    IEEE COMPSAC Workshop Security Aspects of Process and Services Engineering, IEEE, 2009.
    [ IEEE | Bib ]
  5. Rafael Accorsi
    Log Data as Digital Evidence: What Secure Logging Protocols Have to Offer?
    IEEE COMPSAC Workshop on Computer Forensics in Software Engineering, IEEE, 2009.
    [ IEEE | Bib ]
  6. Claus Wonnemann, Rafael Accorsi, and Günter Müller
    On Information Flow Forensics in Business Application Scenarios.
    IEEE COMPSAC Workshop on Security, Trust, and Privacy for Software Applications, IEEE, 2009.
    [ IEEE | Bib ]
  7. Rafael Accorsi and Claus Wonnemann
    Detective Information Flow Analysis for Business Processes.
    Business Processes, Services Computing and Intelligent Service Management, LNI vol. 147, Bonner Köllen Verlag, 2009.
    [ GI | Bib ]
  8. Rafael Accorsi and Thomas Stocker
    Automated Privacy Audits Based on Pruning of Log Data.
    IEEE Workshop on Security and Privacy in Enterprise Computing, IEEE, 2008.
    [ IEEE | Bib ]
  9. 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 ]
  10. Rafael Accorsi
    Automated Privacy Audits to Complement the Notion of Control for Identity Management.
    IFIP Conference on Policies and Research in Identity Management, Springer-Verlag, 2008.
    [ Springer | Bib ]
  11. Rafael Accorsi and Matthias Bernauer
    On Privacy Evidence for UbiComp Environments -- Broadening the Notion of Control to Improve User Acceptance.
    5th Workshop on Privacy in UbiComp, pp. 433-438, 2007.
    [ Bib ]
  12. Martin Kähmer and Rafael Accorsi
    Kundenkarten in hochdynamischen Systemen: Von einer Gefährdung zum Schutz der Privatsphäre.
    KiVS Workshop on Secure Network Configuration, 2007.
    [ Bib ]
  13. Rafael Accorsi
    On the Relationship of Privacy and Secure Remote Logging in Dynamic Systems.
    IFIP SEC (Security and Privacy in Dynamic Environments),
    Springer-Verlag, pp. 329-339, 2006.
    [ Springer | Bib ]
  14. Rafael Accorsi and Adolf Hohl
    Delegating Secure Logging in Pervasive Computing Systems.
    Security in Pervasive Computing, vol. 3934 of the LNCS, pp. 58-72, Springer-Verlag 2006.
    [ Springer | Bib ]
  15. Rafael Accorsi
    Towards a Secure Logging Mechanism for Dynamic Systems
    7th IT Security Symposium, 2005.
    [ Bib | PDF of short version ]
  16. Rafael Accorsi, David Basin and Luca Viganò
    Modal Specifications of Trace-Based Security Properties.
    Workshop on Security of Mobile Multiagent Systems, 2002.
    [ Bib ]
  17. Rafael Accorsi, Carlos Areces, Wiet Bouma and Maarten de Rijke
    Features as Constraints.
    Sixth International Workshop on Feature Interaction and Telecommunication, IOC Press, 2000
    [ Bib ]
  18. Rafael Accorsi, Carlos Areces and Maarten de Rijke
    Towards Feature Interaction via Stable Models.
    Workshop on Formal Methods, 1999.
    [ Bib ]

Theses

  1. 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 | Executive Summary ]
  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 ]
  3. 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

  1. 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.
  3. Rafael Accorsi and Johan van Benthem
    Lorenzen's Games and Linear Logic.
    Note at the University of Amsterdam, 1998.