{"id":"https://openalex.org/W1604037631","doi":"https://doi.org/10.1007/0-387-24098-5_6","title":"Decidability of Opacity with Non-Atomic Keys","display_name":"Decidability of Opacity with Non-Atomic Keys","publication_year":2005,"publication_date":"2005-10-03","ids":{"openalex":"https://openalex.org/W1604037631","doi":"https://doi.org/10.1007/0-387-24098-5_6","mag":"1604037631"},"language":"en","primary_location":{"id":"doi:10.1007/0-387-24098-5_6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/0-387-24098-5_6","pdf_url":"https://link.springer.com/content/pdf/10.1007/0-387-24098-5_6.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP International Federation for Information Processing","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://link.springer.com/content/pdf/10.1007/0-387-24098-5_6.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5069477485","display_name":"Laurent Mazar\u00e9","orcid":null},"institutions":[{"id":"https://openalex.org/I4210156361","display_name":"Verimag","ror":"https://ror.org/05afmzm11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210156361","https://openalex.org/I4210159245","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Laurent Mazar\u00e9","raw_affiliation_strings":["Centre \u00e9quation, VERIMAG, 2 av de Vignates, 38610, Gi\u00e8res, France"],"affiliations":[{"raw_affiliation_string":"Centre \u00e9quation, VERIMAG, 2 av de Vignates, 38610, Gi\u00e8res, France","institution_ids":["https://openalex.org/I4210156361"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5069477485"],"corresponding_institution_ids":["https://openalex.org/I4210156361"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":22,"citation_normalized_percentile":{"value":0.16552811,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"71","last_page":"84"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11800","display_name":"User Authentication and Security Systems","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T11800","display_name":"User Authentication and Security Systems","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9991999864578247,"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.9991000294685364,"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/decidability","display_name":"Decidability","score":0.7830215692520142},{"id":"https://openalex.org/keywords/opacity","display_name":"Opacity","score":0.7492656707763672},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.7264809608459473},{"id":"https://openalex.org/keywords/anonymity","display_name":"Anonymity","score":0.6124253273010254},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5892691016197205},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5154872536659241},{"id":"https://openalex.org/keywords/secrecy","display_name":"Secrecy","score":0.5026695728302002},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.44642141461372375},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.4400866627693176},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.4264083504676819},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.414287805557251},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.37969842553138733},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.35798585414886475},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.340812087059021},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.25924229621887207},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.25642573833465576},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.08688563108444214}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7830215692520142},{"id":"https://openalex.org/C60056205","wikidata":"https://www.wikidata.org/wiki/Q691914","display_name":"Opacity","level":2,"score":0.7492656707763672},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.7264809608459473},{"id":"https://openalex.org/C178005623","wikidata":"https://www.wikidata.org/wiki/Q308859","display_name":"Anonymity","level":2,"score":0.6124253273010254},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5892691016197205},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5154872536659241},{"id":"https://openalex.org/C2776452267","wikidata":"https://www.wikidata.org/wiki/Q1503443","display_name":"Secrecy","level":2,"score":0.5026695728302002},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.44642141461372375},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4400866627693176},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.4264083504676819},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.414287805557251},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.37969842553138733},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35798585414886475},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.340812087059021},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.25924229621887207},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.25642573833465576},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.08688563108444214},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/0-387-24098-5_6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/0-387-24098-5_6","pdf_url":"https://link.springer.com/content/pdf/10.1007/0-387-24098-5_6.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP International Federation for Information Processing","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/0-387-24098-5_6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/0-387-24098-5_6","pdf_url":"https://link.springer.com/content/pdf/10.1007/0-387-24098-5_6.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP International Federation for Information Processing","raw_type":"book-chapter"},"sustainable_development_goals":[{"score":0.7200000286102295,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1604037631.pdf","grobid_xml":"https://content.openalex.org/works/W1604037631.grobid-xml"},"referenced_works_count":15,"referenced_works":["https://openalex.org/W75368128","https://openalex.org/W1515715680","https://openalex.org/W1521883036","https://openalex.org/W1538016627","https://openalex.org/W1562284768","https://openalex.org/W1635081860","https://openalex.org/W1798924124","https://openalex.org/W1812425403","https://openalex.org/W1836114257","https://openalex.org/W1841687327","https://openalex.org/W2029693536","https://openalex.org/W2167006959","https://openalex.org/W2606707517","https://openalex.org/W6636581381","https://openalex.org/W6638748887"],"related_works":["https://openalex.org/W2294297515","https://openalex.org/W1585860117","https://openalex.org/W2585025927","https://openalex.org/W2585890227","https://openalex.org/W1543051890","https://openalex.org/W2072122432","https://openalex.org/W2117142827","https://openalex.org/W2789140669","https://openalex.org/W2166108892","https://openalex.org/W3122697410"],"abstract_inverted_index":{"The":[0,54,67],"most":[1],"studied":[2],"property,":[3],"secrecy,":[4],"is":[5],"not":[6],"always":[7],"sufficient":[8],"to":[9,83,95],"prove":[10],"the":[11,40,44,85],"security":[12],"of":[13,33,43,73,87],"a":[14,30,47,58],"protocol.":[15],"Other":[16],"properties":[17],"such":[18],"as":[19],"anonymity,":[20],"privacy":[21],"or":[22],"opacity":[23,34,55,78],"could":[24,101],"be":[25],"useful.":[26],"Here,":[27],"we":[28,91],"use":[29,92],"simple":[31],"definition":[32],"which":[35],"works":[36],"by":[37,103],"looking":[38],"at":[39],"possible":[41],"traces":[42],"protocol":[45],"using":[46],"new":[48],"property":[49,56],"over":[50],"messages":[51],"called":[52],"similarity.":[53],"becomes":[57],"logical":[59],"constraint":[60],"involving":[61],"both":[62],"similarities":[63],"and":[64,76],"syntactic":[65,93],"equalities.":[66],"main":[68],"theorem":[69],"proves":[70],"that":[71],"satisfiability":[72],"these":[74],"constraints":[75],"thus":[77],"are":[79],"decidable":[80],"without":[81],"having":[82],"make":[84,102],"hypothesis":[86],"atomic":[88],"keys.":[89],"Moreover,":[90],"equalities":[94],"model":[96],"some":[97],"deductions":[98],"an":[99],"intruder":[100],"performing":[104],"bit-to-bit":[105],"comparisons":[106],"(i.e.":[107],"known-ciphertext":[108],"attack).":[109]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2014,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2026-03-12T08:34:05.389933","created_date":"2025-10-10T00:00:00"}