{"id":"https://openalex.org/W4411589028","doi":"https://doi.org/10.1007/s10270-025-01293-2","title":"Formalising privacy regulations with bigraphs","display_name":"Formalising privacy regulations with bigraphs","publication_year":2025,"publication_date":"2025-06-24","ids":{"openalex":"https://openalex.org/W4411589028","doi":"https://doi.org/10.1007/s10270-025-01293-2","pmid":"https://pubmed.ncbi.nlm.nih.gov/41859132"},"language":"en","primary_location":{"id":"doi:10.1007/s10270-025-01293-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-025-01293-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-025-01293-2.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","pubmed"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10270-025-01293-2.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5116792990","display_name":"Ebtihal Althubiti","orcid":"https://orcid.org/0009-0005-6218-5121"},"institutions":[{"id":"https://openalex.org/I118590987","display_name":"Northern Border University","ror":"https://ror.org/03j9tzj20","country_code":"SA","type":"education","lineage":["https://openalex.org/I118590987"]},{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB","SA"],"is_corresponding":true,"raw_author_name":"Ebtihal Althubiti","raw_affiliation_strings":["Computer Science Department, Northern Border University, 91431 Arar, Saudi Arabia","School of Computing Science, University of Glasgow, Glasgow, Scotland, G12 8QQ UK","Computer Science Department, Northern Border University, 91431, Arar, Saudi Arabia","School of Computing Science, University of Glasgow, Glasgow, Scotland, G12 8QQ, UK"],"raw_orcid":"https://orcid.org/0009-0005-6218-5121","affiliations":[{"raw_affiliation_string":"Computer Science Department, Northern Border University, 91431 Arar, Saudi Arabia","institution_ids":["https://openalex.org/I118590987"]},{"raw_affiliation_string":"School of Computing Science, University of Glasgow, Glasgow, Scotland, G12 8QQ UK","institution_ids":["https://openalex.org/I7882870"]},{"raw_affiliation_string":"Computer Science Department, Northern Border University, 91431, Arar, Saudi Arabia","institution_ids":["https://openalex.org/I118590987"]},{"raw_affiliation_string":"School of Computing Science, University of Glasgow, Glasgow, Scotland, G12 8QQ, UK","institution_ids":["https://openalex.org/I7882870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016996700","display_name":"Blair Archibald","orcid":"https://orcid.org/0000-0003-3699-6658"},"institutions":[{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Blair Archibald","raw_affiliation_strings":["School of Computing Science, University of Glasgow, Glasgow, Scotland, G12 8QQ UK","School of Computing Science, University of Glasgow, Glasgow, Scotland, G12 8QQ, UK"],"raw_orcid":"https://orcid.org/0000-0003-3699-6658","affiliations":[{"raw_affiliation_string":"School of Computing Science, University of Glasgow, Glasgow, Scotland, G12 8QQ UK","institution_ids":["https://openalex.org/I7882870"]},{"raw_affiliation_string":"School of Computing Science, University of Glasgow, Glasgow, Scotland, G12 8QQ, UK","institution_ids":["https://openalex.org/I7882870"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042005513","display_name":"Michele Sevegnani","orcid":"https://orcid.org/0000-0001-6773-9481"},"institutions":[{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michele Sevegnani","raw_affiliation_strings":["School of Computing Science, University of Glasgow, Glasgow, Scotland, G12 8QQ UK","School of Computing Science, University of Glasgow, Glasgow, Scotland, G12 8QQ, UK"],"raw_orcid":"https://orcid.org/0000-0001-6773-9481","affiliations":[{"raw_affiliation_string":"School of Computing Science, University of Glasgow, Glasgow, Scotland, G12 8QQ UK","institution_ids":["https://openalex.org/I7882870"]},{"raw_affiliation_string":"School of Computing Science, University of Glasgow, Glasgow, Scotland, G12 8QQ, UK","institution_ids":["https://openalex.org/I7882870"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5116792990"],"corresponding_institution_ids":["https://openalex.org/I118590987","https://openalex.org/I7882870"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.18994198,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"25","issue":"2","first_page":"487","last_page":"513"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9984999895095825,"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"}},"topics":[{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9984999895095825,"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/T10237","display_name":"Cryptography and Data Security","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9932000041007996,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/internet-privacy","display_name":"Internet privacy","score":0.6157866716384888},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.487638384103775},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4626871347427368},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.36771029233932495}],"concepts":[{"id":"https://openalex.org/C108827166","wikidata":"https://www.wikidata.org/wiki/Q175975","display_name":"Internet privacy","level":1,"score":0.6157866716384888},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.487638384103775},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4626871347427368},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.36771029233932495}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/s10270-025-01293-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-025-01293-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-025-01293-2.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},{"id":"pmid:41859132","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/41859132","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and systems modeling","raw_type":null},{"id":"pmh:oai:eprints.gla.ac.uk:353722","is_oa":true,"landing_page_url":"https://eprints.gla.ac.uk/view/author/61185.html>,","pdf_url":null,"source":{"id":"https://openalex.org/S4210235606","display_name":"ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam)","issn_l":"2622-8912","issn":["2622-8912","2622-8920"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},{"id":"pmh:oai:pubmedcentral.nih.gov:12996049","is_oa":true,"landing_page_url":"https://pmc.ncbi.nlm.nih.gov/articles/PMC12996049/","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Softw Syst Model","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.1007/s10270-025-01293-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-025-01293-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-025-01293-2.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6288601437","display_name":"CHEDDAR: Communications Hub for Empowering Distributed clouD computing Applications and Research - TMF uplift","funder_award_id":"EP/Y037421/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8444387157","display_name":"CHEDDAR: Communications Hub For Empowering Distributed ClouD Computing Applications And Research","funder_award_id":"EP/X040518/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8948333587","display_name":null,"funder_award_id":"(EP/Y037421/1) 518 (EP/X040518/1)","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4411589028.pdf","grobid_xml":"https://content.openalex.org/works/W4411589028.grobid-xml"},"referenced_works_count":56,"referenced_works":["https://openalex.org/W134285089","https://openalex.org/W1489391022","https://openalex.org/W1509266941","https://openalex.org/W1572294630","https://openalex.org/W1590315663","https://openalex.org/W1603799276","https://openalex.org/W1638945901","https://openalex.org/W1649611255","https://openalex.org/W1685612739","https://openalex.org/W1731719946","https://openalex.org/W1862398452","https://openalex.org/W1979247714","https://openalex.org/W1983485478","https://openalex.org/W2032157471","https://openalex.org/W2066266646","https://openalex.org/W2088962847","https://openalex.org/W2106465916","https://openalex.org/W2111513652","https://openalex.org/W2112855330","https://openalex.org/W2150189917","https://openalex.org/W2157586102","https://openalex.org/W2164572628","https://openalex.org/W2460834910","https://openalex.org/W2511509996","https://openalex.org/W2516354014","https://openalex.org/W2774566305","https://openalex.org/W2809929128","https://openalex.org/W2897648310","https://openalex.org/W2899001791","https://openalex.org/W2905423445","https://openalex.org/W2954777401","https://openalex.org/W3004644148","https://openalex.org/W3037167671","https://openalex.org/W3092081818","https://openalex.org/W3101069194","https://openalex.org/W3122731183","https://openalex.org/W3123012225","https://openalex.org/W4221040597","https://openalex.org/W4240853462","https://openalex.org/W4243963980","https://openalex.org/W4254966498","https://openalex.org/W4283514101","https://openalex.org/W4294621147","https://openalex.org/W4311888327","https://openalex.org/W4312747947","https://openalex.org/W4366417848","https://openalex.org/W4387857410","https://openalex.org/W4387857700","https://openalex.org/W4387857712","https://openalex.org/W4390697909","https://openalex.org/W4391294403","https://openalex.org/W4393238148","https://openalex.org/W4395007193","https://openalex.org/W4400187490","https://openalex.org/W6857699004","https://openalex.org/W6893239948"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"With":[0],"many":[1,45],"governments":[2],"regulating":[3],"the":[4,13,19,88,124,144,150,161,164,190],"handling":[5],"of":[6,33,117,163],"user":[7],"data-the":[8],"General":[9],"Data":[10,23],"Protection":[11,24],"Regulation,":[12],"California":[14],"Consumer":[15],"Privacy":[16],"Act,":[17],"and":[18,42,90,128,134,154,182],"Saudi":[20],"Arabian":[21],"Personal":[22],"Law-ensuring":[25],"systems":[26,55,89],"comply":[27],"with":[28,109,131],"data":[29,130],"privacy":[30,83,107,136,180,193],"legislation":[31],"is":[32,38],"high":[34],"importance.":[35],"Checking":[36],"compliance":[37],"a":[39,74,173,183],"tricky":[40],"process":[41],"often":[43],"includes":[44],"manual":[46],"elements.":[47],"We":[48,112],"propose":[49],"that":[50,53,96,138],"formal":[51],"methods,":[52],"model":[54,157],"mathematically,":[56],"can":[57,85],"provide":[58],"strong":[59],"guarantees":[60],"to":[61,67,126,141,170],"help":[62],"companies":[63],"<i>prove</i>":[64],"their":[65],"adherence":[66],"legislation.":[68],"To":[69,159],"increase":[70],"usability":[71],"we":[72,139,167],"advocate":[73],"diagrammatic":[75],"approach,":[76],"based":[77,188],"on":[78,114,189],"bigraphical":[79],"reactive":[80],"systems,":[81],"where":[82],"experts":[84],"explicitly":[86],"<i>visualise</i>":[87],"describe":[91,97],"updates,":[92],"via":[93],"rewrite":[94,101],"rules,":[95],"system":[98,187],"behaviour.":[99],"The":[100],"rules":[102],"allow":[103],"flexibility":[104],"in":[105],"integrating":[106],"policies":[108],"user-specified":[110],"systems.":[111,145],"focus":[113],"modelling":[115],"notions":[116],"<i>providing":[118],"consent,":[119,121],"withdrawing":[120],"purpose":[122],"limitations,":[123],"right":[125],"access":[127],"sharing":[129],"third":[132],"parties</i>,":[133],"define":[135],"properties":[137],"want":[140],"prove":[142],"within":[143],"Properties":[146],"are":[147],"expressed":[148],"using":[149,156],"computation":[151],"tree":[152],"logic":[153],"proved":[155],"checking.":[158],"show":[160],"generality":[162],"proposed":[165],"framework,":[166],"apply":[168],"it":[169],"two":[171],"examples:":[172],"bank":[174],"notification":[175],"system,":[176],"inspired":[177],"by":[178],"Monzo's":[179],"policy,":[181],"cloud-based":[184],"home":[185],"healthcare":[186],"Fitbit":[191],"app's":[192],"policy.":[194]},"counts_by_year":[],"updated_date":"2026-03-21T06:30:42.041108","created_date":"2025-10-10T00:00:00"}