{"id":"https://openalex.org/W7157620986","doi":"https://doi.org/10.48550/arxiv.2604.25190","title":"Secure Conformance Checking using Token-based Replay and Homomorphic Encryption","display_name":"Secure Conformance Checking using Token-based Replay and Homomorphic Encryption","publication_year":2026,"publication_date":"2026-04-28","ids":{"openalex":"https://openalex.org/W7157620986","doi":"https://doi.org/10.48550/arxiv.2604.25190"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.25190","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.25190","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.25190","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5134835993","display_name":"Luis-Armando Rodr\u00edguez-Flores","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rodr\u00edguez-Flores, Luis-Armando","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134846426","display_name":"Luciano Garc\u00eda-Ba\u00f1uelos","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Garc\u00eda-Ba\u00f1uelos, Luciano","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134863091","display_name":"Abel Armas-Cervantes","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Armas-Cervantes, Abel","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5134871948","display_name":"Astrid-Monserrat Rivera-Partida","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rivera-Partida, Astrid-Monserrat","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9613000154495239,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9613000154495239,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.01140000019222498,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10538","display_name":"Data Mining Algorithms and Applications","score":0.0032999999821186066,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/conformance-checking","display_name":"Conformance checking","score":0.758899986743927},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.6263999938964844},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6168000102043152},{"id":"https://openalex.org/keywords/homomorphic-encryption","display_name":"Homomorphic encryption","score":0.5807999968528748},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.5218999981880188},{"id":"https://openalex.org/keywords/process-mining","display_name":"Process mining","score":0.5141000151634216}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.758899986743927},{"id":"https://openalex.org/C2775948798","wikidata":"https://www.wikidata.org/wiki/Q5160261","display_name":"Conformance checking","level":5,"score":0.758899986743927},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.6263999938964844},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6168000102043152},{"id":"https://openalex.org/C158338273","wikidata":"https://www.wikidata.org/wiki/Q2154943","display_name":"Homomorphic encryption","level":3,"score":0.5807999968528748},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.5218999981880188},{"id":"https://openalex.org/C124670913","wikidata":"https://www.wikidata.org/wiki/Q2608526","display_name":"Process mining","level":5,"score":0.5141000151634216},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.4772999882698059},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.3874000012874603},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.328900009393692},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.319599986076355},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.29580000042915344},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.295199990272522},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2937999963760376},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.28220000863075256},{"id":"https://openalex.org/C76956256","wikidata":"https://www.wikidata.org/wiki/Q27610560","display_name":"Process modeling","level":3,"score":0.2711000144481659}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.25190","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.25190","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.25190","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.25190","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.4282427728176117,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Conformance":[0],"checking,":[1],"one":[2],"of":[3,125],"the":[4,24,28,32,43,47,54,58,65,77,106,123,126],"main":[5],"process":[6,15,34,44],"mining":[7],"operations,":[8],"aims":[9],"to":[10,53,70,86,90,101],"identify":[11],"discrepancies":[12],"between":[13],"a":[14,87,98,119],"model":[16,22,45,88],"and":[17,46,79,111],"an":[18],"event":[19,29,48],"log.":[20],"The":[21],"represents":[23,31],"expected":[25],"behaviour,":[26],"whereas":[27],"log":[30,49,78],"actual":[33],"behaviour":[35],"as":[36],"captured":[37],"in":[38,62,76],"information":[39,75],"systems'":[40],"records.":[41],"Traditionally,":[42],"are":[50],"both":[51],"accessible":[52],"business":[55],"analyst":[56],"performing":[57],"conformance":[59,83,102],"checking.":[60],"However,":[61],"some":[63],"contexts":[64],"log's":[66],"owner":[67],"may":[68],"want":[69],"protect":[71],"critical":[72],"or":[73],"sensitive":[74],"still":[80],"check":[81],"its":[82],"with":[84],"respect":[85],"belonging":[89],"another":[91],"party.":[92],"In":[93],"this":[94],"paper,":[95],"we":[96],"propose":[97],"secure":[99],"approach":[100],"checking":[103],"based":[104],"on":[105],"well-known":[107],"token-based":[108],"replay":[109],"algorithm":[110],"homomorphic":[112],"encryption.":[113],"An":[114],"evaluation":[115],"is":[116],"performed":[117],"using":[118],"synthetic":[120],"log,":[121],"showing":[122],"practicality":[124],"proposed":[127],"technique.":[128]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-04-30T00:00:00"}