{"id":"https://openalex.org/W1956945926","doi":"https://doi.org/10.3233/jcs-2008-0332","title":"Key-dependent message security under active attacks \u2013 BRSIM/UC-soundness of Dolev\u2013Yao-style encryption with key cycles","display_name":"Key-dependent message security under active attacks \u2013 BRSIM/UC-soundness of Dolev\u2013Yao-style encryption with key cycles","publication_year":2008,"publication_date":"2008-10-13","ids":{"openalex":"https://openalex.org/W1956945926","doi":"https://doi.org/10.3233/jcs-2008-0332","mag":"1956945926"},"language":"en","primary_location":{"id":"doi:10.3233/jcs-2008-0332","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jcs-2008-0332","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":null,"license_id":null,"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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004014878","display_name":"Michael Backes","orcid":"https://orcid.org/0000-0002-9326-6400"},"institutions":[{"id":"https://openalex.org/I149899117","display_name":"Max Planck Society","ror":"https://ror.org/01hhn8329","country_code":"DE","type":"funder","lineage":["https://openalex.org/I149899117"]},{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]},{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Michael Backes","raw_affiliation_strings":["Saarland University and Max-Planck, Institute for Software Systems. E-mail: backes@mpi-sws.mpg.de","(Correspd.) Saarland University and Max-Planck, Institute for Software Systems. E-mail: backes@mpi-sws.mpg.de#TAB#"],"affiliations":[{"raw_affiliation_string":"Saarland University and Max-Planck, Institute for Software Systems. E-mail: backes@mpi-sws.mpg.de","institution_ids":["https://openalex.org/I4210121786","https://openalex.org/I91712215"]},{"raw_affiliation_string":"(Correspd.) Saarland University and Max-Planck, Institute for Software Systems. E-mail: backes@mpi-sws.mpg.de#TAB#","institution_ids":["https://openalex.org/I149899117"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109863471","display_name":"Birgit Pfitzmann","orcid":null},"institutions":[{"id":"https://openalex.org/I4210126328","display_name":"IBM Research - Zurich","ror":"https://ror.org/02js37d36","country_code":"CH","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210126328"]},{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["CH","US"],"is_corresponding":false,"raw_author_name":"Birgit Pfitzmann","raw_affiliation_strings":["IBM Research. E-mail: bpf@zurich.ibm.com","IBM Research. E-mail: bpf@zurich.ibm.com#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Research. E-mail: bpf@zurich.ibm.com","institution_ids":["https://openalex.org/I4210126328"]},{"raw_affiliation_string":"IBM Research. E-mail: bpf@zurich.ibm.com#TAB#","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054465062","display_name":"Andre Scedrov","orcid":"https://orcid.org/0000-0002-4536-0419"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andre Scedrov","raw_affiliation_strings":["University of Pennsylvania. E-mail: scedrov@math.upenn.edu","University of Pennsylvania. E-mail: scedrov@math.upenn.edu#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania. E-mail: scedrov@math.upenn.edu","institution_ids":["https://openalex.org/I79576946"]},{"raw_affiliation_string":"University of Pennsylvania. E-mail: scedrov@math.upenn.edu#TAB#","institution_ids":["https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5004014878"],"corresponding_institution_ids":["https://openalex.org/I149899117","https://openalex.org/I4210121786","https://openalex.org/I91712215"],"apc_list":null,"apc_paid":null,"fwci":5.2685,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.94967606,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"16","issue":"5","first_page":"497","last_page":"530"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9998000264167786,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.9994999766349792,"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/T11130","display_name":"Coding theory and cryptography","score":0.9965999722480774,"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/soundness","display_name":"Soundness","score":0.9502677917480469},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7300348877906799},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.6453248858451843},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.5828458070755005},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.5710135698318481},{"id":"https://openalex.org/keywords/ciphertext","display_name":"Ciphertext","score":0.5544431209564209},{"id":"https://openalex.org/keywords/symmetric-key-algorithm","display_name":"Symmetric-key algorithm","score":0.42233386635780334},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4016135632991791},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3710060119628906},{"id":"https://openalex.org/keywords/public-key-cryptography","display_name":"Public-key cryptography","score":0.3613795042037964},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.11966335773468018},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.0567229688167572}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.9502677917480469},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7300348877906799},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.6453248858451843},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.5828458070755005},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5710135698318481},{"id":"https://openalex.org/C93974786","wikidata":"https://www.wikidata.org/wiki/Q1589480","display_name":"Ciphertext","level":3,"score":0.5544431209564209},{"id":"https://openalex.org/C65302260","wikidata":"https://www.wikidata.org/wiki/Q327675","display_name":"Symmetric-key algorithm","level":4,"score":0.42233386635780334},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4016135632991791},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3710060119628906},{"id":"https://openalex.org/C203062551","wikidata":"https://www.wikidata.org/wiki/Q201339","display_name":"Public-key cryptography","level":3,"score":0.3613795042037964},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.11966335773468018},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0567229688167572}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/jcs-2008-0332","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jcs-2008-0332","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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Security","raw_type":"journal-article"},{"id":"pmh:oai:escidoc.org:escidoc:2173446","is_oa":false,"landing_page_url":"http://hdl.handle.net/11858/00-001M-0000-0028-8C4C-8","pdf_url":null,"source":{"id":"https://openalex.org/S7407052962","display_name":"Max Planck Digital Library","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.5799999833106995,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W42806983","https://openalex.org/W1480122568","https://openalex.org/W1485489906","https://openalex.org/W1489286008","https://openalex.org/W1492390108","https://openalex.org/W1493079268","https://openalex.org/W1499934958","https://openalex.org/W1508967933","https://openalex.org/W1516512945","https://openalex.org/W1519080809","https://openalex.org/W1589176872","https://openalex.org/W1656028867","https://openalex.org/W1860797715","https://openalex.org/W1913041503","https://openalex.org/W1923391011","https://openalex.org/W1982325601","https://openalex.org/W1988245494","https://openalex.org/W1997859100","https://openalex.org/W2023740004","https://openalex.org/W2027471022","https://openalex.org/W2029693536","https://openalex.org/W2033766329","https://openalex.org/W2058014492","https://openalex.org/W2061106457","https://openalex.org/W2089413537","https://openalex.org/W2098263389","https://openalex.org/W2109394932","https://openalex.org/W2112896529","https://openalex.org/W2119708968","https://openalex.org/W2127035198","https://openalex.org/W2139172211","https://openalex.org/W2139440619","https://openalex.org/W2157295888","https://openalex.org/W2161670619","https://openalex.org/W2165210192","https://openalex.org/W2911777915","https://openalex.org/W2990399857"],"related_works":["https://openalex.org/W2322947709","https://openalex.org/W4385192994","https://openalex.org/W4255237014","https://openalex.org/W2358138126","https://openalex.org/W4242847202","https://openalex.org/W2055665937","https://openalex.org/W2951531469","https://openalex.org/W2796427561","https://openalex.org/W1992525896","https://openalex.org/W2953015727"],"abstract_inverted_index":{"Key-dependent":[0],"message":[1],"(KDM)":[2],"security":[3,82,118],"was":[4,29,53],"introduced":[5],"by":[6,32,43,56],"Black,":[7],"Rogaway":[8],"and":[9,47,65,119,138,172,208],"Shrimpton":[10],"to":[11,90,188],"address":[12],"the":[13,62,72,133,164,193],"case":[14],"where":[15],"key":[16,23,33,124],"cycles":[17,34],"occur":[18],"among":[19],"encryptions,":[20],"e.g.,":[21],"a":[22,48,92,101,107],"is":[24,128,157],"encrypted":[25],"with":[26,175,178],"itself.":[27],"It":[28],"mainly":[30],"motivated":[31],"in":[35,84,163,173],"Dolev\u2013Yao":[36,78],"models,":[37],"i.e.,":[38,114],"symbolic":[39],"abstractions":[40],"of":[41,110,121,151,167],"cryptography":[42],"term":[44],"alge":[45],"bras,":[46],"corresponding":[49],"computational":[50,135,160],"soundness":[51,67,93,136],"result":[52,68,94,137],"later":[54],"shown":[55],"Ad\u00e3o":[57],"et":[58],"al.":[59],"However,":[60,126],"both":[61],"KDM":[63,108],"definition":[64,102],"this":[66,127],"do":[69],"not":[70,129],"allow":[71],"general":[73],"active":[74,96],"attacks":[75],"typical":[76],"for":[77,81,123,132,159,205,211],"models":[79],"or":[80,200],"protocols":[83],"general.":[85],"We":[86,98,153,181],"extend":[87],"these":[88],"definitions":[89,207],"obtain":[91],"under":[95,192],"attacks.":[97],"first":[99],"present":[100],"AKDM":[103],"(adaptive":[104],"KDM)":[105,144],"as":[106],"equivalent":[109],"authenticated":[111],"symmetric":[112,212],"encryption,":[113],"it":[115],"provides":[116],"chosen-ciphertext":[117],"integrity":[120],"ciphertexts":[122],"cycles.":[125],"yet":[130],"sufficient":[131,158],"desired":[134],"thus":[139],"we":[140,197],"define":[141],"DKDM":[142,156],"(dynamic":[143],"that":[145,155],"additionally":[146],"allows":[147],"limited":[148],"dynamic":[149],"revelation":[150],"keys.":[152],"show":[154],"soundness,":[161],"even":[162],"strong":[165],"sense":[166],"blackbox":[168],"reactive":[169],"simulatability":[170],"(BRSIM)/UC":[171],"cases":[174],"joint":[176],"terms":[177],"other":[179],"operators.":[180],"also":[182],"build":[183],"on":[184],"current":[185],"KDM-secure":[186],"schemes":[187,190],"construct":[189,201],"secure":[191],"new":[194,206],"definitions.":[195],"Moreover,":[196],"prove":[198],"implications":[199],"separating":[202],"examples,":[203],"respectively,":[204],"existing":[209],"ones":[210],"encryption.":[213]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":3}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}