{"id":"https://openalex.org/W7114788330","doi":"https://doi.org/10.1177/0926227x251378716","title":"A decision procedure and typing result for alpha-beta privacy","display_name":"A decision procedure and typing result for alpha-beta privacy","publication_year":2025,"publication_date":"2025-12-11","ids":{"openalex":"https://openalex.org/W7114788330","doi":"https://doi.org/10.1177/0926227x251378716"},"language":"en","primary_location":{"id":"doi:10.1177/0926227x251378716","is_oa":true,"landing_page_url":"https://doi.org/10.1177/0926227x251378716","pdf_url":null,"source":{"id":"https://openalex.org/S106992369","display_name":"Journal of Computer Security","issn_l":"0926-227X","issn":["0926-227X","1875-8924"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Security","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1177/0926227x251378716","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Laouen Fernet","orcid":"https://orcid.org/0000-0001-9028-1480"},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Laouen Fernet","raw_affiliation_strings":["DIKU, University of Copenhagen, Denmark"],"raw_orcid":"https://orcid.org/0000-0001-9028-1480","affiliations":[{"raw_affiliation_string":"DIKU, University of Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Sebastian M\u00f6dersheim","orcid":"https://orcid.org/0000-0002-6901-8319"},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Sebastian M\u00f6dersheim","raw_affiliation_strings":["DTU Compute, Technical University of Denmark, Denmark"],"raw_orcid":"https://orcid.org/0000-0002-6901-8319","affiliations":[{"raw_affiliation_string":"DTU Compute, Technical University of Denmark, Denmark","institution_ids":["https://openalex.org/I96673099"]}]},{"author_position":"last","author":{"id":null,"display_name":"Luca Vigan\u00f2","orcid":"https://orcid.org/0000-0001-9916-271X"},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Luca Vigan\u00f2","raw_affiliation_strings":["Department of Informatics, King\u2019s College London, UK"],"raw_orcid":"https://orcid.org/0000-0001-9916-271X","affiliations":[{"raw_affiliation_string":"Department of Informatics, King\u2019s College London, UK","institution_ids":["https://openalex.org/I183935753"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.54069852,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"34","issue":"1","first_page":"46","last_page":"81"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.8641999959945679,"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"}},"topics":[{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.8641999959945679,"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/T10237","display_name":"Cryptography and Data Security","score":0.06120000034570694,"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/T11424","display_name":"Security and Verification in Computing","score":0.016300000250339508,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.6351000070571899},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.6050999760627747},{"id":"https://openalex.org/keywords/branching","display_name":"Branching (polymer chemistry)","score":0.5586000084877014},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5419999957084656},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.5407999753952026},{"id":"https://openalex.org/keywords/cryptographic-primitive","display_name":"Cryptographic primitive","score":0.474700003862381},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.44339999556541443}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8137999773025513},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.6351000070571899},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.6050999760627747},{"id":"https://openalex.org/C206175624","wikidata":"https://www.wikidata.org/wiki/Q595731","display_name":"Branching (polymer chemistry)","level":2,"score":0.5586000084877014},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5419999957084656},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.5407999753952026},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5151000022888184},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.474700003862381},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.44339999556541443},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.3808000087738037},{"id":"https://openalex.org/C115988155","wikidata":"https://www.wikidata.org/wiki/Q3262192","display_name":"Decision problem","level":2,"score":0.34389999508857727},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.32839998602867126},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31709998846054077},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.30329999327659607},{"id":"https://openalex.org/C2781209916","wikidata":"https://www.wikidata.org/wiki/Q3215756","display_name":"Typing","level":2,"score":0.275299996137619},{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.27399998903274536},{"id":"https://openalex.org/C84525736","wikidata":"https://www.wikidata.org/wiki/Q831366","display_name":"Decision tree","level":2,"score":0.27000001072883606},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.25940001010894775},{"id":"https://openalex.org/C137822555","wikidata":"https://www.wikidata.org/wiki/Q2587068","display_name":"Information sensitivity","level":2,"score":0.2554999887943268}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1177/0926227x251378716","is_oa":true,"landing_page_url":"https://doi.org/10.1177/0926227x251378716","pdf_url":null,"source":{"id":"https://openalex.org/S106992369","display_name":"Journal of Computer Security","issn_l":"0926-227X","issn":["0926-227X","1875-8924"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Security","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1177/0926227x251378716","is_oa":true,"landing_page_url":"https://doi.org/10.1177/0926227x251378716","pdf_url":null,"source":{"id":"https://openalex.org/S106992369","display_name":"Journal of Computer Security","issn_l":"0926-227X","issn":["0926-227X","1875-8924"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Security","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.8228154182434082,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":54,"referenced_works":["https://openalex.org/W146244851","https://openalex.org/W359430047","https://openalex.org/W598363404","https://openalex.org/W1501813649","https://openalex.org/W1530255708","https://openalex.org/W1562440377","https://openalex.org/W1565697634","https://openalex.org/W1598111807","https://openalex.org/W1648795825","https://openalex.org/W1996497395","https://openalex.org/W2009426964","https://openalex.org/W2027660602","https://openalex.org/W2033327323","https://openalex.org/W2042609207","https://openalex.org/W2055259417","https://openalex.org/W2097134979","https://openalex.org/W2097913369","https://openalex.org/W2112137829","https://openalex.org/W2114189125","https://openalex.org/W2117064875","https://openalex.org/W2126338744","https://openalex.org/W2132544882","https://openalex.org/W2162325770","https://openalex.org/W2166482485","https://openalex.org/W2167816957","https://openalex.org/W2293889868","https://openalex.org/W2521663436","https://openalex.org/W2528654130","https://openalex.org/W2539928068","https://openalex.org/W2609153124","https://openalex.org/W2728389594","https://openalex.org/W2758067118","https://openalex.org/W2765112575","https://openalex.org/W2787222284","https://openalex.org/W2797113766","https://openalex.org/W2797326439","https://openalex.org/W2885767691","https://openalex.org/W2887105535","https://openalex.org/W2914152958","https://openalex.org/W2914971001","https://openalex.org/W2969686425","https://openalex.org/W2972774997","https://openalex.org/W3003059772","https://openalex.org/W3047594216","https://openalex.org/W3085324025","https://openalex.org/W3086017426","https://openalex.org/W3096621201","https://openalex.org/W4205561567","https://openalex.org/W4225922019","https://openalex.org/W4312583387","https://openalex.org/W4317935366","https://openalex.org/W4386211297","https://openalex.org/W4402674303","https://openalex.org/W4402674321"],"related_works":[],"abstract_inverted_index":{"We":[0,21],"present":[1],"a":[2,8,14,59,80,84,93,97,100,113,130],"decision":[3,81],"procedure":[4,82],"for":[5,57,83,112,144],"verifying":[6],"whether":[7],"protocol":[9],"respects":[10],"privacy":[11],"goals,":[12],"given":[13],"bound":[15],"on":[16],"the":[17,28,34,37,47,77,126,134],"number":[18,147],"of":[19,36,53,62,79,86,115,148],"transitions.":[20,149],"consider":[22],"multi":[23],"message-analysis":[24],"problems":[25],",":[26],"where":[27,133],"intruder":[29,127,135],"does":[30],"not":[31],"know":[32],"exactly":[33],"structure":[35],"messages":[38],"but":[39],"rather":[40],"knows":[41],"several":[42],"possible":[43],"structures":[44],"and":[45,71,99],"that":[46],"real":[48],"execution":[49],"corresponds":[50],"to":[51,109,124,129],"one":[52],"them.":[54],"This":[55],"allows":[56],"modeling":[58],"large":[60],"class":[61,114],"security":[63],"protocols,":[64],"with":[65],"standard":[66],"cryptographic":[67],"operators,":[68],"non-determinism,":[69],"branching":[70],"statefulness.":[72],"Our":[73,105,140],"first":[74,101],"contribution":[75,107],"is":[76,108,122],"definition":[78],"fragment":[85],"alpha-beta":[87],"privacy.":[88],"Moreover,":[89],"we":[90],"have":[91],"implemented":[92],"prototype":[94],"tool":[95],"as":[96],"proof-of-concept":[98],"step":[102],"towards":[103],"automation.":[104],"second":[106],"show":[110],"that,":[111],"protocols":[116],"satisfying":[117],"certain":[118],"syntactic":[119],"conditions,":[120],"it":[121],"sound":[123],"restrict":[125],"model":[128],"typed":[131],"model,":[132],"only":[136],"sends":[137],"well-typed":[138],"messages.":[139],"typing":[141],"result":[142],"holds":[143],"an":[145],"unbounded":[146]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-12-11T00:00:00"}