{"id":"https://openalex.org/W15506636","doi":null,"title":"Key establishment : proofs and refutations","display_name":"Key establishment : proofs and refutations","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W15506636","mag":"15506636"},"language":"en","primary_location":{"id":"mag:15506636","doi":null,"is_oa":false,"landing_page_url":"http://eprints.qut.edu.au/16262/","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"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/A5001746807","display_name":"Kim\u2010Kwang Raymond Choo","orcid":"https://orcid.org/0000-0001-9208-5336","observed_orcids":["https://orcid.org/0000-0001-9208-5336"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Kim\u2010Kwang Raymond Choo","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-9208-5336","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5001746807"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.7113999724388123,"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.7113999724388123,"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.28200000524520874,"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/T10020","display_name":"Quantum Information and Cryptography","score":0.0017000000225380063,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/key-establishment","display_name":"key establishment","score":0.7879999876022339},{"id":"https://openalex.org/keywords/provable-security","display_name":"provable security","score":0.7609999775886536},{"id":"https://openalex.org/keywords/bellare-rogaway-model","display_name":"Bellare-Rogaway model","score":0.9120000004768372},{"id":"https://openalex.org/keywords/canetti-krawczyk-model","display_name":"Canetti-Krawczyk model","score":0.9959999918937683},{"id":"https://openalex.org/keywords/message-authentication","display_name":"message authentication","score":0.4480000138282776},{"id":"https://openalex.org/keywords/protocol-flaws","display_name":"protocol flaws","score":0.4410000145435333},{"id":"https://openalex.org/keywords/security-proofs","display_name":"security proofs","score":0.4729999899864197},{"id":"https://openalex.org/keywords/authenticated-key-exchange","display_name":"authenticated key agreement","score":0.45500001311302185},{"id":"https://openalex.org/keywords/key-distribution-protocols","display_name":"key distribution protocols","score":0.30799999833106995},{"id":"https://openalex.org/keywords/message-authentication-codes","display_name":"message authentication codes","score":0.33500000834465027}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7194455862045288},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7080891728401184},{"id":"https://openalex.org/C131672422","wikidata":"https://www.wikidata.org/wiki/Q852594","display_name":"Provable security","level":3,"score":0.6342502236366272},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5892286896705627},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5714069604873657},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5575599670410156},{"id":"https://openalex.org/C41065033","wikidata":"https://www.wikidata.org/wiki/Q2825412","display_name":"Adversary","level":2,"score":0.5438594818115234},{"id":"https://openalex.org/C121822524","wikidata":"https://www.wikidata.org/wiki/Q5157582","display_name":"Computer security model","level":2,"score":0.45823413133621216},{"id":"https://openalex.org/C191197275","wikidata":"https://www.wikidata.org/wiki/Q1755775","display_name":"Session key","level":3,"score":0.41443589329719543},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.18548840284347534},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15936991572380066},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.07073187828063965},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.06247660517692566},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:15506636","doi":null,"is_oa":false,"landing_page_url":"http://eprints.qut.edu.au/16262/","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":217,"referenced_works":["https://openalex.org/W128695896","https://openalex.org/W149652053","https://openalex.org/W187962066","https://openalex.org/W1234672877","https://openalex.org/W1481626015","https://openalex.org/W1482965486","https://openalex.org/W1483264823","https://openalex.org/W1483958011","https://openalex.org/W1490371707","https://openalex.org/W1491103038","https://openalex.org/W1491774018","https://openalex.org/W1496418770","https://openalex.org/W1497795032","https://openalex.org/W1499934958","https://openalex.org/W1503670812","https://openalex.org/W1506423323","https://openalex.org/W1508922487","https://openalex.org/W1508967933","https://openalex.org/W1509672724","https://openalex.org/W1510680610","https://openalex.org/W1518817958","https://openalex.org/W1518871948","https://openalex.org/W1525484153","https://openalex.org/W1525750584","https://openalex.org/W1526070463","https://openalex.org/W1526491104","https://openalex.org/W1527465840","https://openalex.org/W1531172394","https://openalex.org/W1531644305","https://openalex.org/W1532150808","https://openalex.org/W1532836984","https://openalex.org/W1532961226","https://openalex.org/W1533597610","https://openalex.org/W1535125298","https://openalex.org/W1535945812","https://openalex.org/W1538016627","https://openalex.org/W1542059364","https://openalex.org/W1543794512","https://openalex.org/W1545843592","https://openalex.org/W1548091752","https://openalex.org/W1549228503","https://openalex.org/W1550141493","https://openalex.org/W1551843303","https://openalex.org/W1552695147","https://openalex.org/W1557936430","https://openalex.org/W1559100496","https://openalex.org/W1560829496","https://openalex.org/W1562429580","https://openalex.org/W1563048562","https://openalex.org/W1569738112","https://openalex.org/W1576892942","https://openalex.org/W1579646980","https://openalex.org/W1580733778","https://openalex.org/W1585874154","https://openalex.org/W1586563142","https://openalex.org/W1589034595","https://openalex.org/W1589586740","https://openalex.org/W1590686911","https://openalex.org/W1593324857","https://openalex.org/W1593533415","https://openalex.org/W1595112992","https://openalex.org/W1597010143","https://openalex.org/W1598151097","https://openalex.org/W1599446772","https://openalex.org/W1600842905","https://openalex.org/W1606019519","https://openalex.org/W1606603814","https://openalex.org/W1607038816","https://openalex.org/W1607643969","https://openalex.org/W1637905077","https://openalex.org/W1639210492","https://openalex.org/W1660562555","https://openalex.org/W1685756014","https://openalex.org/W1705753742","https://openalex.org/W1709517452","https://openalex.org/W1710110546","https://openalex.org/W1715939358","https://openalex.org/W1727279179","https://openalex.org/W1770532091","https://openalex.org/W1791750137","https://openalex.org/W1805869620","https://openalex.org/W1820789496","https://openalex.org/W1826730783","https://openalex.org/W1828821593","https://openalex.org/W1837556958","https://openalex.org/W1838876034","https://openalex.org/W1863058362","https://openalex.org/W1867273832","https://openalex.org/W1901278359","https://openalex.org/W1921661296","https://openalex.org/W1927099252","https://openalex.org/W1936937432","https://openalex.org/W1944323241","https://openalex.org/W1963716248","https://openalex.org/W1967900147","https://openalex.org/W1969090042","https://openalex.org/W1973307918","https://openalex.org/W1974284791","https://openalex.org/W1978717552","https://openalex.org/W1981689534","https://openalex.org/W1982325601","https://openalex.org/W1992547339","https://openalex.org/W1994386233","https://openalex.org/W1996360405","https://openalex.org/W2003736153","https://openalex.org/W2005538084","https://openalex.org/W2010939995","https://openalex.org/W2023556530","https://openalex.org/W2029693536","https://openalex.org/W2031354738","https://openalex.org/W2032577199","https://openalex.org/W2035668577","https://openalex.org/W2036378739","https://openalex.org/W2041543515","https://openalex.org/W2044021425","https://openalex.org/W2047241038","https://openalex.org/W2047925852","https://openalex.org/W2049129243","https://openalex.org/W2052267638","https://openalex.org/W2053218687","https://openalex.org/W2054940553","https://openalex.org/W2058129511","https://openalex.org/W2059192678","https://openalex.org/W2060289434","https://openalex.org/W2061420890","https://openalex.org/W2062231603","https://openalex.org/W2063535080","https://openalex.org/W2075427920","https://openalex.org/W2077099041","https://openalex.org/W2079077728","https://openalex.org/W2082932673","https://openalex.org/W2084798250","https://openalex.org/W2085687236","https://openalex.org/W2086042811","https://openalex.org/W2086093382","https://openalex.org/W2094240047","https://openalex.org/W2096156163","https://openalex.org/W2096436720","https://openalex.org/W2097913369","https://openalex.org/W2098821040","https://openalex.org/W2098996144","https://openalex.org/W2100770280","https://openalex.org/W2101645549","https://openalex.org/W2103326668","https://openalex.org/W2104254650","https://openalex.org/W2104520160","https://openalex.org/W2104655005","https://openalex.org/W2104749788","https://openalex.org/W2105750191","https://openalex.org/W2113999696","https://openalex.org/W2117307660","https://openalex.org/W2117340823","https://openalex.org/W2120475074","https://openalex.org/W2120582414","https://openalex.org/W2120926795","https://openalex.org/W2121485167","https://openalex.org/W2124290125","https://openalex.org/W2124558071","https://openalex.org/W2124926080","https://openalex.org/W2125591151","https://openalex.org/W2125894704","https://openalex.org/W2128292595","https://openalex.org/W2128747615","https://openalex.org/W2129521091","https://openalex.org/W2130899669","https://openalex.org/W2131895477","https://openalex.org/W2133126578","https://openalex.org/W2133268023","https://openalex.org/W2134352729","https://openalex.org/W2134732832","https://openalex.org/W2135000443","https://openalex.org/W2135042651","https://openalex.org/W2136147578","https://openalex.org/W2137073376","https://openalex.org/W2137616911","https://openalex.org/W2137748174","https://openalex.org/W2137943631","https://openalex.org/W2139100267","https://openalex.org/W2139793270","https://openalex.org/W2140350339","https://openalex.org/W2146973388","https://openalex.org/W2150682469","https://openalex.org/W2151413173","https://openalex.org/W2151803723","https://openalex.org/W2153662813","https://openalex.org/W2154568476","https://openalex.org/W2155672489","https://openalex.org/W2156186849","https://openalex.org/W2159047178","https://openalex.org/W2160085514","https://openalex.org/W2164201637","https://openalex.org/W2164988972","https://openalex.org/W2166027506","https://openalex.org/W2166153712","https://openalex.org/W2168332701","https://openalex.org/W2169216703","https://openalex.org/W2170333496","https://openalex.org/W2170718011","https://openalex.org/W2172081477","https://openalex.org/W2268517261","https://openalex.org/W2321025664","https://openalex.org/W2397756951","https://openalex.org/W2400165225","https://openalex.org/W2564619715","https://openalex.org/W2583131896","https://openalex.org/W2613178327","https://openalex.org/W2613409654","https://openalex.org/W2912926260","https://openalex.org/W2913459036","https://openalex.org/W3013607954","https://openalex.org/W3028644659","https://openalex.org/W3028982149","https://openalex.org/W3029055649","https://openalex.org/W3154896280","https://openalex.org/W4244520098","https://openalex.org/W7096675525","https://openalex.org/W7099375905"],"related_works":["https://openalex.org/W1781678696","https://openalex.org/W7099284135","https://openalex.org/W2121226752","https://openalex.org/W2046411953","https://openalex.org/W2101429538","https://openalex.org/W2334887384","https://openalex.org/W2293619708","https://openalex.org/W7099057012","https://openalex.org/W7095566036","https://openalex.org/W2394028610"],"abstract_inverted_index":{"We":[0,8,42,71,82,108,119,130,194,239,253,262,288,298,319,368,428,441,469],"study":[1,134],"the":[2,11,25,35,38,45,50,65,68,87,104,115,124,136,143,147,151,163,171,191,197,209,213,229,236,255,259,321,338,365,386,402,415,447,452,484],"problem":[3],"of":[4,14,37,56,80,86,123,135,139,146,173,186,211,217,228,276,286,317,323,388,414,451,476],"secure":[5,189,257,353,363,393],"key":[6,52,88,116,216,325,328,380],"establishment.":[7],"critically":[9],"examine":[10,320],"security":[12,40,140,467],"models":[13,31],"Bellare":[15,57,125],"and":[16,19,21,58,126,150,166,175,251,272,279,304,331,383,390,411,457,460],"Rogaway":[17,59,127,167],"(1993)":[18,128],"Canetti":[20],"Krawczyk":[22,280],"(2001)":[23,459],"in":[24,34,49,162,190,199,235,248,258,268,294,327,354,364,379,394,433,446,483],"computational":[26,403],"complexity":[27,404],"approach,":[28,405],"as":[29,178],"these":[30,302],"are":[32,100,343],"central":[33],"understanding":[36],"provable":[39],"paradigm.":[41],"show":[43],"that":[44,231,245,333,340,350,430,480],"partnership":[46],"definition":[47],"used":[48],"three-party":[51],"distribution":[53],"(3PKD)":[54],"protocol":[55,75,172,185,230,244,256,387,453],"(1995)":[60],"is":[61,246],"flawed,":[62],"which":[63],"invalidates":[64],"proof":[66,79],"for":[67],"3PKD":[69],"protocol.":[70],"present":[72,110,131,241,311,369],"an":[73,242,419],"improved":[74],"with":[76,170,314,464,473],"a":[77,111,132,160,179,183,225,273,334,355,370,395,408,474],"new":[78,312],"security.":[81,287,318],"identify":[83,120],"several":[84,121,144,269,461],"variants":[85,122,145],"sharing":[89,117],"requirement":[90],"(i.e.,":[91],"two":[92],"entities":[93],"who":[94],"have":[95,346],"completed":[96],"matching":[97],"sessions,":[98],"partners,":[99],"required":[101],"to":[102,201,223,301,337,375,455],"accept":[103],"same":[105],"session":[106,324,341,377],"key).":[107],"then":[109,195,360],"brief":[112,371],"discussion":[113,372],"about":[114],"requirement.":[118],"model.":[129,153,193,238,261,367,399],"comparative":[133,156],"relative":[137],"strengths":[138],"notions":[141],"between":[142],"Bellare-Rogaway":[148,192,357,398],"model":[149,169,198,358,417,421],"Canetti-Krawczyk":[152],"In":[154,307],"our":[155,439],"study,":[157],"we":[158,310,406],"reveal":[159,442],"drawback":[161],"Bellare,":[164,277],"Pointcheval,":[165],"(2000)":[168],"Abdalla":[174],"Pointcheval":[176,458],"(2005)":[177],"case":[180],"study.\r\n\r\nWe":[181],"prove":[182,254,385],"revised":[184],"Boyd":[187],"(1996)":[188],"extend":[196],"order":[200],"allow":[202],"more":[203],"realistic":[204],"adversary":[205],"capabilities":[206],"by":[207,282],"incorporating":[208],"notion":[210],"resetting":[212],"long-term":[214],"compromised":[215],"some":[218,308,477],"entity.":[219],"This":[220],"allows":[221],"us":[222],"detect":[224],"known":[226],"weakness":[227],"cannot":[232],"be":[233,361,436],"captured":[234],"original":[237],"also":[240,289,384],"alternative":[243],"efficient":[247],"both":[249],"messages":[250],"rounds.":[252],"extended":[260],"point":[263,290],"out":[264,291],"previously":[265,443],"unknown":[266,444],"flaws":[267,293,432,445],"published":[270,462],"protocols":[271,303,313,382,434,463],"message":[274],"authenticator":[275],"Canetti,":[278],"(1998)":[281],"refuting":[283],"claimed":[284],"proofs":[285,316],"corresponding":[292],"their":[295,305],"existing":[296],"proofs.":[297,306],"propose":[299],"fixes":[300],"cases,":[309],"full":[315,366],"role":[322],"construction":[326],"establishment":[329,381],"protocols,":[330],"demonstrate":[332,429],"small":[335],"change":[336],"way":[339],"keys":[342,378],"constructed":[344],"can":[345,359,435],"significant":[347],"benefits.":[348],"Protocols":[349],"were":[351,481],"proven":[352,362],"restricted":[356],"on":[373],"ways":[374],"construct":[376],"Chen":[389],"Kudla":[391],"(2003)":[392],"less":[396],"restrictive":[397],"To":[400],"complement":[401],"provide":[407],"formal":[409],"specification":[410],"machine":[412],"analysis":[413],"Bellare-Pointcheval-Rogaway":[416],"using":[418,438],"automated":[420],"checker,":[422],"Simple":[423],"Homomorphism":[424],"Verification":[425],"Tool":[426],"(SHVT).":[427],"structural":[431],"revealed":[437],"framework.":[440],"unpublished":[448],"preproceedings":[449],"version":[450],"due":[454],"Jakobsson":[456],"only":[465],"heuristic":[466],"arguments.":[468],"conclude":[470],"this":[471],"thesis":[472],"listing":[475],"open":[478],"problems":[479],"encountered":[482],"study.":[485]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}