 | 2011 |
| 28 |  | Rafael Accorsi,
Claus Wonnemann,
Sebastian Dochow:
SWAT: A Security Workflow Analysis Toolkit for Reliably Secure Process-aware Information Systems.
ARES 2011: 692-697 |
| 27 |  | Rafael Accorsi:
Business Process as a Service: Chances for Remote Auditing.
COMPSAC Workshops 2011: 398-403 |
| 26 |  | Rafael Accorsi,
Claus Wonnemann:
Forensic Leak Detection for Business Process Models.
IFIP Int. Conf. Digital Forensics 2011: 101-113 |
| 25 |  | Rafael Accorsi,
Claus Wonnemann:
Strong non-leak guarantees for workflow models.
SAC 2011: 308-314 |
| 24 |  | Rafael Accorsi,
Lutz Lowis,
Yoshinori Sato:
Automated Certification for Compliant Cloud-based Business Processes.
Business & Information Systems Engineering 3(3): 145-154 (2011) |
| 23 |  | Lutz Lowis,
Rafael Accorsi:
Vulnerability Analysis in SOA-Based Business Processes.
IEEE T. Services Computing 4(3): 230-242 (2011) |
| 22 |  | Rafael Accorsi,
Lutz Lowis,
Yoshinori Sato:
Automatisierte Compliance-Zertifizierung Cloud-basierter Geschäftsprozesse.
Wirtschaftsinformatik 53(3): 139-149 (2011) |
| 2010 |
| 21 |  | Rafael Accorsi,
Claus Wonnemann:
Auditing Workflow Executions against Dataflow Policies.
BIS 2010: 207-217 |
| 20 |  | Rafael Accorsi:
BBox: A Distributed Secure Log Architecture.
EuroPKI 2010: 109-124 |
| 19 |  | Rafael Accorsi,
Claus Wonnemann:
Static Information Flow Analysis of Workflow Models.
ISSS/BPSC 2010: 194-205 |
| 18 |  | Rafael Accorsi,
Claus Wonnemann:
InDico: Information Flow Analysis of Business Processes for Confidentiality Requirements.
STM 2010: 194-209 |
| 17 |  | Rafael Accorsi,
Lutz Lowis:
ComCert: Automated Certification of Cloud-based Business Processes.
ERCIM News 2010(83): 50-51 (2010) |
| 16 |  | Günter Müller,
Rafael Accorsi,
Sebastian Höhn,
Stefan Sackmann:
Sichere Nutzungskontrolle für mehr Transparenz in Finanzmärkten.
Informatik Spektrum 33(1): 3-13 (2010) |
| 2009 |
| 15 |  | Rafael Accorsi,
Claus Wonnemann:
Detective Information Flow Analysis for Business Processes.
BPSC 2009: 223-224 |
| 14 |  | Claus Wonnemann,
Rafael Accorsi,
Günter Müller:
On Information Flow Forensics in Business Application Scenarios.
COMPSAC (2) 2009: 324-328 |
| 13 |  | Rafael Accorsi:
Log Data as Digital Evidence: What Secure Logging Protocols Have to Offer?
COMPSAC (2) 2009: 398-403 |
| 12 |  | Lutz Lowis,
Rafael Accorsi:
On a Classification Approach for SOA Vulnerabilities.
COMPSAC (2) 2009: 439-444 |
| 11 |  | Rafael Accorsi,
Ernesto Damiani,
Frank Innerhofer-Oberperfler,
Florian Kerschbaum:
Editorial to the second workshop on Security and Privacy in Enterprise Computing (InSPEC09).
EDOCW 2009: 166-167 |
| 10 |  | Rafael Accorsi:
Safe-Keeping Digital Evidence with Secure Logging Protocols: State of the Art and Challenges.
IMF 2009: 94-110 |
| 2008 |
| 9 |  | Jens Strüker,
Rafael Accorsi,
Günter Müller:
On Providing One-to-One Marketing with Customers' Privacy in Stationary Retail.
CEC/EEE 2008: 44-49 |
| 8 |  | Rafael Accorsi,
Thomas Stocker:
Automated Privacy Audits Based on Pruning of Log Data.
EDOCW 2008: 175-182 |
| 7 |  | Rafael Accorsi,
Yoshinori Sato,
Satoshi Kai:
Compliance-Monitor zur Frühwarnung vor Risiken.
Wirtschaftsinformatik 50(5): 375-382 (2008) |
| 6 |  | Rafael Accorsi:
Automated counterexample-driven audits of authentic system records.
University of Freiburg 2008 |
| 2006 |
| 5 |  | Rafael Accorsi:
On the Relationship of Privacy and Secure Remote Logging in Dynamic Systems.
SEC 2006: 329-339 |
| 4 |  | Rafael Accorsi,
Adolf Hohl:
Delegating Secure Logging in Pervasive Computing Systems.
SPC 2006: 58-72 |
| 3 |  | Stefan Sackmann,
Jens Strüker,
Rafael Accorsi:
Personalization in privacy-aware highly dynamic systems.
Commun. ACM 49(9): 32-38 (2006) |
| 2001 |
| 2 |  | Rafael Accorsi,
David A. Basin,
Luca Viganò:
Towards an awareness-based semantics for security protocol analysis.
Electr. Notes Theor. Comput. Sci. 55(1): 5-24 (2001) |
| 2000 |
| 1 |  | Rafael Accorsi,
Carlos Areces,
Wiet Bouma,
Maarten de Rijke:
Features as Constraints.
FIW 2000: 210-225 |