{"id":"https://openalex.org/W3086547071","doi":"https://doi.org/10.1145/3372020.3391553","title":"Verification of Privacy-Enhanced Collaborations","display_name":"Verification of Privacy-Enhanced Collaborations","publication_year":2020,"publication_date":"2020-09-12","ids":{"openalex":"https://openalex.org/W3086547071","doi":"https://doi.org/10.1145/3372020.3391553","mag":"3086547071"},"language":"en","primary_location":{"id":"doi:10.1145/3372020.3391553","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3372020.3391553","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 8th International Conference on Formal Methods in Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020672131","display_name":"Sara Belluccini","orcid":null},"institutions":[{"id":"https://openalex.org/I127077003","display_name":"IMT School for Advanced Studies Lucca","ror":"https://ror.org/035gh3a49","country_code":"IT","type":"education","lineage":["https://openalex.org/I127077003"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Sara Belluccini","raw_affiliation_strings":["IMT School for Advanced Studies, Lucca, Italy"],"affiliations":[{"raw_affiliation_string":"IMT School for Advanced Studies, Lucca, Italy","institution_ids":["https://openalex.org/I127077003"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016732227","display_name":"Rocco De Nicola","orcid":"https://orcid.org/0000-0003-4691-7570"},"institutions":[{"id":"https://openalex.org/I127077003","display_name":"IMT School for Advanced Studies Lucca","ror":"https://ror.org/035gh3a49","country_code":"IT","type":"education","lineage":["https://openalex.org/I127077003"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Rocco De Nicola","raw_affiliation_strings":["IMT School for Advanced Studies, Lucca, Italy"],"affiliations":[{"raw_affiliation_string":"IMT School for Advanced Studies, Lucca, Italy","institution_ids":["https://openalex.org/I127077003"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085212075","display_name":"Marlon Dumas","orcid":"https://orcid.org/0000-0002-9247-7476"},"institutions":[{"id":"https://openalex.org/I56085075","display_name":"University of Tartu","ror":"https://ror.org/03z77qz90","country_code":"EE","type":"education","lineage":["https://openalex.org/I56085075"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Marlon Dumas","raw_affiliation_strings":["University of Tartu, Tartu, Estonia"],"affiliations":[{"raw_affiliation_string":"University of Tartu, Tartu, Estonia","institution_ids":["https://openalex.org/I56085075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063450277","display_name":"Pille Pullonen","orcid":"https://orcid.org/0000-0002-3255-7001"},"institutions":[{"id":"https://openalex.org/I4210160054","display_name":"Cybernetica (Estonia)","ror":"https://ror.org/054gqc795","country_code":"EE","type":"company","lineage":["https://openalex.org/I4210160054"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Pille Pullonen","raw_affiliation_strings":["Cybernetica AS, Tallinn, Estonia"],"affiliations":[{"raw_affiliation_string":"Cybernetica AS, Tallinn, Estonia","institution_ids":["https://openalex.org/I4210160054"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072737864","display_name":"Barbara Re","orcid":"https://orcid.org/0000-0001-5374-2364"},"institutions":[{"id":"https://openalex.org/I112859197","display_name":"Universit\u00e0 di Camerino","ror":"https://ror.org/0005w8d69","country_code":"IT","type":"education","lineage":["https://openalex.org/I112859197"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Barbara Re","raw_affiliation_strings":["University of Camerino, Camerino, Italy"],"affiliations":[{"raw_affiliation_string":"University of Camerino, Camerino, Italy","institution_ids":["https://openalex.org/I112859197"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007264795","display_name":"Francesco Tiezzi","orcid":"https://orcid.org/0000-0003-4740-7521"},"institutions":[{"id":"https://openalex.org/I112859197","display_name":"Universit\u00e0 di Camerino","ror":"https://ror.org/0005w8d69","country_code":"IT","type":"education","lineage":["https://openalex.org/I112859197"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesco Tiezzi","raw_affiliation_strings":["University of Camerino, Camerino, Italy"],"affiliations":[{"raw_affiliation_string":"University of Camerino, Camerino, Italy","institution_ids":["https://openalex.org/I112859197"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5020672131"],"corresponding_institution_ids":["https://openalex.org/I127077003"],"apc_list":null,"apc_paid":null,"fwci":0.5085,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.71780209,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"141","last_page":"152"},"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.9995999932289124,"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.9995999932289124,"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/T10927","display_name":"Access Control and Trust","score":0.9957000017166138,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11614","display_name":"Cloud Data Security Solutions","score":0.9925000071525574,"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/business-process-model-and-notation","display_name":"Business Process Model and Notation","score":0.9312342405319214},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8400788307189941},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.6085715293884277},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5682358741760254},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"Business process modeling","score":0.5578815340995789},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5521277189254761},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.5389673709869385},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.527973473072052},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5223946571350098},{"id":"https://openalex.org/keywords/xpdl","display_name":"XPDL","score":0.5145108699798584},{"id":"https://openalex.org/keywords/process-modeling","display_name":"Process modeling","score":0.45276984572410583},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.42239364981651306},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40181779861450195},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.3463994264602661},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.3225333094596863},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.2027052640914917}],"concepts":[{"id":"https://openalex.org/C179299601","wikidata":"https://www.wikidata.org/wiki/Q1017605","display_name":"Business Process Model and Notation","level":5,"score":0.9312342405319214},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8400788307189941},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.6085715293884277},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5682358741760254},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.5578815340995789},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5521277189254761},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.5389673709869385},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.527973473072052},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5223946571350098},{"id":"https://openalex.org/C130536060","wikidata":"https://www.wikidata.org/wiki/Q592375","display_name":"XPDL","level":4,"score":0.5145108699798584},{"id":"https://openalex.org/C76956256","wikidata":"https://www.wikidata.org/wiki/Q27610560","display_name":"Process modeling","level":3,"score":0.45276984572410583},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.42239364981651306},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40181779861450195},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3463994264602661},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.3225333094596863},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.2027052640914917},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0},{"id":"https://openalex.org/C188220564","wikidata":"https://www.wikidata.org/wiki/Q3325097","display_name":"Workflow engine","level":3,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3372020.3391553","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3372020.3391553","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 8th International Conference on Formal Methods in Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:flore.unifi.it:2158/1243600","is_oa":false,"landing_page_url":"http://hdl.handle.net/2158/1243600","pdf_url":null,"source":{"id":"https://openalex.org/S4306402033","display_name":"Florence Research (University of Florence)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45084792","host_organization_name":"University of Florence","host_organization_lineage":["https://openalex.org/I45084792"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:pubblicazioni.unicam.it:11581/444144","is_oa":false,"landing_page_url":"http://hdl.handle.net/11581/444144","pdf_url":null,"source":{"id":"https://openalex.org/S4306400819","display_name":"Unicam Scientific Publications (University of Camerino)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I112859197","host_organization_name":"Universit\u00e0 di Camerino","host_organization_lineage":["https://openalex.org/I112859197"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W101667962","https://openalex.org/W1529104791","https://openalex.org/W1580139810","https://openalex.org/W1875962355","https://openalex.org/W1991733014","https://openalex.org/W2030435982","https://openalex.org/W2060511478","https://openalex.org/W2064900519","https://openalex.org/W2117568741","https://openalex.org/W2131247527","https://openalex.org/W2135791720","https://openalex.org/W2138447175","https://openalex.org/W2139526178","https://openalex.org/W2169696634","https://openalex.org/W2558431639","https://openalex.org/W2560677749","https://openalex.org/W2768169254","https://openalex.org/W2773588639","https://openalex.org/W2895782836","https://openalex.org/W2911842117","https://openalex.org/W2946108943","https://openalex.org/W3090231139","https://openalex.org/W4230290951","https://openalex.org/W4380634737","https://openalex.org/W6631551535"],"related_works":["https://openalex.org/W4360764654","https://openalex.org/W2004965561","https://openalex.org/W2548538367","https://openalex.org/W2048823690","https://openalex.org/W1778671501","https://openalex.org/W2408087754","https://openalex.org/W2908501282","https://openalex.org/W2754051655","https://openalex.org/W4386781087","https://openalex.org/W3142251153"],"abstract_inverted_index":{"In":[0],"a":[1,17,23,44,54,88,108],"distributed":[2],"scenario":[3],"it":[4],"is":[5,70],"possible":[6],"to":[7,32,73,98,102],"find":[8],"systems":[9,36],"consisting":[10],"of":[11,25,47,61,66,83,119,130,143],"independent":[12],"parties":[13],"that":[14,63],"collaboratively":[15],"execute":[16],"business":[18,144],"process,":[19],"but":[20],"cannot":[21],"disclose":[22],"subset":[24],"the":[26,41,48,59,64,81,117,131,137],"data":[27,68,105,114],"used":[28],"in":[29,107,116],"this":[30,77],"process":[31,50,91],"each":[33],"other.":[34],"Such":[35],"can":[37],"be":[38],"modelled":[39],"using":[40,151],"PE-BPMN":[42,55,84,109],"notation:":[43],"privacy-enhanced":[45],"extension":[46],"BPMN":[49],"modeling":[51],"notation.":[52],"Given":[53],"model,":[56],"we":[57,79],"address":[58],"problem":[60],"verifying":[62],"content":[65],"certain":[67],"objects":[69],"not":[71],"leaked":[72],"unauthorized":[74],"parties.":[75],"To":[76],"end,":[78],"formalise":[80],"semantics":[82],"collaboration":[85],"diagrams":[86],"via":[87],"translation":[89],"into":[90,136],"algebraic":[92],"specifications.":[93],"This":[94],"formalisation":[95],"enables":[96],"us":[97],"apply":[99],"model":[100],"checking":[101],"detect":[103],"unintended":[104],"leakages":[106,115],"model.":[110],"We":[111],"specifically":[112],"consider":[113],"context":[118],"secret":[120],"sharing":[121],"technology.":[122],"The":[123,146],"approach":[124],"has":[125,148],"been":[126,149],"implemented":[127],"on":[128],"top":[129],"mCRL2":[132],"toolset,":[133],"and":[134],"integrated":[135],"Pleak":[138],"toolset":[139],"supporting":[140],"privacy":[141],"analysis":[142],"processes.":[145],"proposal":[147],"evaluated":[150],"real":[152],"scenarios.":[153]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}