{"id":"https://openalex.org/W2005426585","doi":"https://doi.org/10.1155/2013/679450","title":"How to Authenticate a Device? Formal Authentication Models for M2M Communications Defending against Ghost Compromising Attack","display_name":"How to Authenticate a Device? Formal Authentication Models for M2M Communications Defending against Ghost Compromising Attack","publication_year":2013,"publication_date":"2013-02-01","ids":{"openalex":"https://openalex.org/W2005426585","doi":"https://doi.org/10.1155/2013/679450","mag":"2005426585"},"language":"en","primary_location":{"id":"doi:10.1155/2013/679450","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2013/679450","pdf_url":null,"source":{"id":"https://openalex.org/S64417657","display_name":"International Journal of Distributed Sensor Networks","issn_l":"1550-1329","issn":["1550-1329","1550-1477"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Distributed Sensor Networks","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1155/2013/679450","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5034031357","display_name":"Wei Ren","orcid":"https://orcid.org/0000-0001-8590-1737"},"institutions":[{"id":"https://openalex.org/I3124059619","display_name":"China University of Geosciences","ror":"https://ror.org/04gcegc37","country_code":"CN","type":"education","lineage":["https://openalex.org/I3124059619"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Wei Ren","raw_affiliation_strings":["School of Computer Science, China University of Geosciences, Wuhan 430074, China","Shandong Provincial Key Laboratory of Computer Network, Jinan 250014, China","1 School of Computer Science, China University of Geosciences, Wuhan 430074, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, China University of Geosciences, Wuhan 430074, China","institution_ids":["https://openalex.org/I3124059619"]},{"raw_affiliation_string":"Shandong Provincial Key Laboratory of Computer Network, Jinan 250014, China","institution_ids":[]},{"raw_affiliation_string":"1 School of Computer Science, China University of Geosciences, Wuhan 430074, China","institution_ids":["https://openalex.org/I3124059619"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052456682","display_name":"Linchen Yu","orcid":"https://orcid.org/0000-0002-0620-101X"},"institutions":[{"id":"https://openalex.org/I3124059619","display_name":"China University of Geosciences","ror":"https://ror.org/04gcegc37","country_code":"CN","type":"education","lineage":["https://openalex.org/I3124059619"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Linchen Yu","raw_affiliation_strings":["School of Computer Science, China University of Geosciences, Wuhan 430074, China","1 School of Computer Science, China University of Geosciences, Wuhan 430074, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, China University of Geosciences, Wuhan 430074, China","institution_ids":["https://openalex.org/I3124059619"]},{"raw_affiliation_string":"1 School of Computer Science, China University of Geosciences, Wuhan 430074, China","institution_ids":["https://openalex.org/I3124059619"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103482432","display_name":"Liangli Ma","orcid":null},"institutions":[{"id":"https://openalex.org/I2800710378","display_name":"Naval University of Engineering","ror":"https://ror.org/056vyez31","country_code":"CN","type":"education","lineage":["https://openalex.org/I2800710378"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liangli Ma","raw_affiliation_strings":["School of Electronic Engineering, Naval University of Engineering, Wuhan 430033, China","3 School of Electronic Engineering, Naval University of Engineering, Wuhan 430033, China"],"affiliations":[{"raw_affiliation_string":"School of Electronic Engineering, Naval University of Engineering, Wuhan 430033, China","institution_ids":["https://openalex.org/I2800710378"]},{"raw_affiliation_string":"3 School of Electronic Engineering, Naval University of Engineering, Wuhan 430033, China","institution_ids":["https://openalex.org/I2800710378"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101812346","display_name":"Yi Ren","orcid":"https://orcid.org/0000-0001-7423-6719"},"institutions":[{"id":"https://openalex.org/I148366613","display_name":"National Yang Ming Chiao Tung University","ror":"https://ror.org/00se2k293","country_code":"TW","type":"education","lineage":["https://openalex.org/I148366613"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Yi Ren","raw_affiliation_strings":["Department of Computer Science, National Chiao Tung University, Hsinchu 30010, Taiwan","4 Department of Computer Science, National Chiao Tung University, Hsinchu 30010, Taiwan"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, National Chiao Tung University, Hsinchu 30010, Taiwan","institution_ids":["https://openalex.org/I148366613"]},{"raw_affiliation_string":"4 Department of Computer Science, National Chiao Tung University, Hsinchu 30010, Taiwan","institution_ids":["https://openalex.org/I148366613"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5034031357"],"corresponding_institution_ids":["https://openalex.org/I3124059619"],"apc_list":{"value":2200,"currency":"USD","value_usd":2200},"apc_paid":{"value":2200,"currency":"USD","value_usd":2200},"fwci":5.849,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.95758717,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"9","issue":"2","first_page":"679450","last_page":"679450"},"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.9988999962806702,"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.9988999962806702,"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.9987999796867371,"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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/computer-science","display_name":"Computer science","score":0.8702702522277832},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.7079480290412903},{"id":"https://openalex.org/keywords/authentication","display_name":"Authentication (law)","score":0.6551380157470703},{"id":"https://openalex.org/keywords/challenge\u2013response-authentication","display_name":"Challenge\u2013response authentication","score":0.5620119571685791},{"id":"https://openalex.org/keywords/credential","display_name":"Credential","score":0.5595316886901855},{"id":"https://openalex.org/keywords/lightweight-extensible-authentication-protocol","display_name":"Lightweight Extensible Authentication Protocol","score":0.5587953925132751},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.5161565542221069},{"id":"https://openalex.org/keywords/authentication-protocol","display_name":"Authentication protocol","score":0.5149522423744202},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.476106733083725},{"id":"https://openalex.org/keywords/data-authentication-algorithm","display_name":"Data Authentication Algorithm","score":0.4715300500392914},{"id":"https://openalex.org/keywords/challenge-handshake-authentication-protocol","display_name":"Challenge-Handshake Authentication Protocol","score":0.4312078058719635},{"id":"https://openalex.org/keywords/compromise","display_name":"Compromise","score":0.42472022771835327},{"id":"https://openalex.org/keywords/multi-factor-authentication","display_name":"Multi-factor authentication","score":0.4103701710700989},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3422749936580658}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8702702522277832},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.7079480290412903},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.6551380157470703},{"id":"https://openalex.org/C131129157","wikidata":"https://www.wikidata.org/wiki/Q1059963","display_name":"Challenge\u2013response authentication","level":4,"score":0.5620119571685791},{"id":"https://openalex.org/C2777810591","wikidata":"https://www.wikidata.org/wiki/Q16861606","display_name":"Credential","level":2,"score":0.5595316886901855},{"id":"https://openalex.org/C167169670","wikidata":"https://www.wikidata.org/wiki/Q1824705","display_name":"Lightweight Extensible Authentication Protocol","level":4,"score":0.5587953925132751},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.5161565542221069},{"id":"https://openalex.org/C21564112","wikidata":"https://www.wikidata.org/wiki/Q4825885","display_name":"Authentication protocol","level":3,"score":0.5149522423744202},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.476106733083725},{"id":"https://openalex.org/C168970074","wikidata":"https://www.wikidata.org/wiki/Q5227146","display_name":"Data Authentication Algorithm","level":4,"score":0.4715300500392914},{"id":"https://openalex.org/C207828512","wikidata":"https://www.wikidata.org/wiki/Q1060131","display_name":"Challenge-Handshake Authentication Protocol","level":4,"score":0.4312078058719635},{"id":"https://openalex.org/C46355384","wikidata":"https://www.wikidata.org/wiki/Q726686","display_name":"Compromise","level":2,"score":0.42472022771835327},{"id":"https://openalex.org/C194699767","wikidata":"https://www.wikidata.org/wiki/Q7878662","display_name":"Multi-factor authentication","level":4,"score":0.4103701710700989},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3422749936580658},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C36289849","wikidata":"https://www.wikidata.org/wiki/Q34749","display_name":"Social science","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1155/2013/679450","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2013/679450","pdf_url":null,"source":{"id":"https://openalex.org/S64417657","display_name":"International Journal of Distributed Sensor Networks","issn_l":"1550-1329","issn":["1550-1329","1550-1477"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Distributed Sensor Networks","raw_type":"journal-article"},{"id":"pmh:oai:ueaeprints.uea.ac.uk:70392","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400384","display_name":"UEA Digital Repository (University of East Anglia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1118541","host_organization_name":"University of East Anglia","host_organization_lineage":["https://openalex.org/I1118541"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},{"id":"pmh:oai:RePEc:sae:intdis:v:9:y:2013:i:2:p:679450","is_oa":false,"landing_page_url":"https://journals.sagepub.com/doi/10.1155/2013/679450","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},{"id":"pmh:oai:doaj.org/article:1fba535f2c4b4d40a2efee7cd9ce10f2","is_oa":true,"landing_page_url":"https://doaj.org/article/1fba535f2c4b4d40a2efee7cd9ce10f2","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Journal of Distributed Sensor Networks, Vol 9 (2013)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1155/2013/679450","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2013/679450","pdf_url":null,"source":{"id":"https://openalex.org/S64417657","display_name":"International Journal of Distributed Sensor Networks","issn_l":"1550-1329","issn":["1550-1329","1550-1477"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Distributed Sensor Networks","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.6100000143051147,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G1604499764","display_name":null,"funder_award_id":"090109","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2087396116","display_name":null,"funder_award_id":"China","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2116851321","display_name":null,"funder_award_id":"090109","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G2151477818","display_name":null,"funder_award_id":"110109","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G2376276132","display_name":null,"funder_award_id":"China","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G2870525900","display_name":null,"funder_award_id":"Wuhan","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2974983829","display_name":null,"funder_award_id":"61170217","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G3317480652","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3765104989","display_name":null,"funder_award_id":"61170217","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3786745975","display_name":null,"funder_award_id":"Wuhan","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G391238517","display_name":null,"funder_award_id":", and","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3995723906","display_name":null,"funder_award_id":"110109","funder_id":"https://openalex.org/F4320321132","funder_display_name":"China University of Geosciences, Beijing"},{"id":"https://openalex.org/G4161161668","display_name":null,"funder_award_id":"61170217","funder_id":"https://openalex.org/F4320321132","funder_display_name":"China University of Geosciences, Beijing"},{"id":"https://openalex.org/G5666782502","display_name":null,"funder_award_id":"SDKLCN-2011-01","funder_id":"https://openalex.org/F4320321132","funder_display_name":"China University of Geosciences, Beijing"},{"id":"https://openalex.org/G5712342677","display_name":null,"funder_award_id":"090109","funder_id":"https://openalex.org/F4320321132","funder_display_name":"China University of Geosciences, Beijing"},{"id":"https://openalex.org/G5994120800","display_name":null,"funder_award_id":"Natural","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7600072276","display_name":null,"funder_award_id":"SDKLCN-2011-01","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7761296645","display_name":null,"funder_award_id":"SDKLCN-2011-01","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G7853006071","display_name":null,"funder_award_id":"110109","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321132","display_name":"China University of Geosciences, Beijing","ror":"https://ror.org/04q6c7p66"},{"id":"https://openalex.org/F4320328899","display_name":"China University of Geosciences","ror":null},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W69825246","https://openalex.org/W1499934958","https://openalex.org/W1541189775","https://openalex.org/W1676528207","https://openalex.org/W1832830177","https://openalex.org/W1968676143","https://openalex.org/W1970613013","https://openalex.org/W1992103321","https://openalex.org/W2052650124","https://openalex.org/W2054821245","https://openalex.org/W2071379906","https://openalex.org/W2079969358","https://openalex.org/W2097422349","https://openalex.org/W2099958966","https://openalex.org/W2100098163","https://openalex.org/W2109819857","https://openalex.org/W2114764602","https://openalex.org/W2123899238","https://openalex.org/W2125410718","https://openalex.org/W2132462711","https://openalex.org/W2141669049"],"related_works":["https://openalex.org/W2093798919","https://openalex.org/W2050433615","https://openalex.org/W2941888532","https://openalex.org/W2390304521","https://openalex.org/W2943527182","https://openalex.org/W2393298610","https://openalex.org/W2558166637","https://openalex.org/W2907262898","https://openalex.org/W2584552228","https://openalex.org/W3022695109"],"abstract_inverted_index":{"In":[0,39],"Machine-to-Machine":[1],"(M2M)":[2],"communications,":[3],"authentication":[4,20,30,51,111,116,136,147,154,164],"of":[5,9,14,16,26,135,145],"a":[6,27,152],"device":[7],"is":[8],"upmost":[10],"importance":[11],"for":[12,118,125,156],"applications":[13],"Internet":[15],"Things.":[17],"As":[18],"traditional":[19],"schemes":[21],"always":[22],"assume":[23],"the":[24,44,50,115,141],"presence":[25],"person,":[28],"most":[29],"technologies":[31],"cannot":[32],"be":[33],"applied":[34],"in":[35,52,66,133,166],"machine-centric":[36],"M2M":[37,157],"context.":[38],"this":[40],"paper,":[41],"we":[42,84,150],"make":[43],"first":[45,55],"attempt":[46],"to":[47,88],"formally":[48],"model":[49,56],"M2M.":[53,167],"We":[54,103,113],"four":[57,86],"attacking":[58,108],"adversaries":[59],"that":[60],"can":[61,139],"formulate":[62],"all":[63,119,162],"possible":[64,163],"attacks":[65],"M2M,":[67],"which":[68,138],"are":[69],"channel":[70],"eavesdropping":[71],"attack,":[72,75,78],"credential":[73],"compromise":[74,77,81],"function":[76],"and":[79,100,110,122,131,143,159],"ghost":[80],"attack.":[82],"Next,":[83],"propose":[85],"models":[87,121,128],"tackle":[89],"those":[90],"corresponding":[91],"adversaries,":[92],"namely,":[93],"credential-based":[94],"model,":[95,97,99],"machine-metrics-based":[96],"reference-based":[98],"witness-based":[101],"model.":[102],"also":[104],"illustrate":[105],"several":[106],"concrete":[107,146],"methods":[109],"approaches.":[112],"proof":[114],"security":[117],"proposed":[120],"compare":[123],"them":[124],"clarity.":[126],"Our":[127],"present":[129],"soundness":[130],"completeness":[132],"terms":[134],"security,":[137],"guide":[140],"design":[142],"analysis":[144],"protocols.":[148],"Particularly,":[149],"construct":[151],"uniform":[153],"framework":[155],"context":[158],"point":[160],"out":[161],"mechanisms":[165]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}