A Privacy-Preserving Approach to Conformance Checking
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866909007217688576 |
|---|---|
| author | Rodríguez-Flores, Luis García-Bañuelos, Luciano Armas-Cervantes, Abel Rivera-Partida, Astrid |
| author_facet | Rodríguez-Flores, Luis García-Bañuelos, Luciano Armas-Cervantes, Abel Rivera-Partida, Astrid |
| contents | Conformance checking, one of the main process mining operations, aims to identify discrepancies between a process model and an event log. The model represents the expected behaviour, whereas the event log represents the actual process behaviour as captured in information systems records. Traditionally, the process model and the event log are both accessible to the business analyst performing the conformance checking. However, in some contexts, it is necessary to keep either the model or the log private to protect critical or sensitive information. In this paper, we propose a secure approach to conformance checking based on string processing algorithms and homomorphic encryption, where the process model and event log ar not visible to either the model's or event log's owner. The proposed technique is based on alignments, a well-known formalism used for conformance checking. An evaluation is performed using a synthetic and a real-world event log, showing that conformance checking can be securely computed at the expense of high memory and processing requirements. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_00283 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | A Privacy-Preserving Approach to Conformance Checking Rodríguez-Flores, Luis García-Bañuelos, Luciano Armas-Cervantes, Abel Rivera-Partida, Astrid Cryptography and Security Software Engineering Conformance checking, one of the main process mining operations, aims to identify discrepancies between a process model and an event log. The model represents the expected behaviour, whereas the event log represents the actual process behaviour as captured in information systems records. Traditionally, the process model and the event log are both accessible to the business analyst performing the conformance checking. However, in some contexts, it is necessary to keep either the model or the log private to protect critical or sensitive information. In this paper, we propose a secure approach to conformance checking based on string processing algorithms and homomorphic encryption, where the process model and event log ar not visible to either the model's or event log's owner. The proposed technique is based on alignments, a well-known formalism used for conformance checking. An evaluation is performed using a synthetic and a real-world event log, showing that conformance checking can be securely computed at the expense of high memory and processing requirements. |
| title | A Privacy-Preserving Approach to Conformance Checking |
| topic | Cryptography and Security Software Engineering |
| url | https://arxiv.org/abs/2605.00283 |