{"id":"https://openalex.org/W2888859314","doi":"https://doi.org/10.1145/3264888.3264895","title":"Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols","display_name":"Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols","publication_year":2018,"publication_date":"2018-01-15","ids":{"openalex":"https://openalex.org/W2888859314","doi":"https://doi.org/10.1145/3264888.3264895","mag":"2888859314"},"language":"en","primary_location":{"id":"doi:10.1145/3264888.3264895","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3264888.3264895","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy","raw_type":"proceedings-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/A5077191937","display_name":"Musab A. Alturki","orcid":"https://orcid.org/0000-0001-7957-1081"},"institutions":[{"id":"https://openalex.org/I134085113","display_name":"King Fahd University of Petroleum and Minerals","ror":"https://ror.org/03yez3163","country_code":"SA","type":"education","lineage":["https://openalex.org/I134085113"]}],"countries":["SA"],"is_corresponding":true,"raw_author_name":"Musab A. Alturki","raw_affiliation_strings":["King Fahd University of Petroleum and Minerals & Runtime Verification Inc., Dhahran, Saudi Arabia"],"affiliations":[{"raw_affiliation_string":"King Fahd University of Petroleum and Minerals & Runtime Verification Inc., Dhahran, Saudi Arabia","institution_ids":["https://openalex.org/I134085113"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048798287","display_name":"Max Kanovich","orcid":"https://orcid.org/0000-0002-7502-1653"},"institutions":[{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]},{"id":"https://openalex.org/I118501908","display_name":"National Research University Higher School of Economics","ror":"https://ror.org/055f7t516","country_code":"RU","type":"education","lineage":["https://openalex.org/I118501908"]}],"countries":["GB","RU"],"is_corresponding":false,"raw_author_name":"Max Kanovich","raw_affiliation_strings":["University College London & NRU HSE, London, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University College London & NRU HSE, London, United Kingdom","institution_ids":["https://openalex.org/I118501908","https://openalex.org/I45129253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058795427","display_name":"Tajana Ban Kirigin","orcid":"https://orcid.org/0000-0003-3230-6891"},"institutions":[{"id":"https://openalex.org/I154347574","display_name":"University of Rijeka","ror":"https://ror.org/05r8dqr10","country_code":"HR","type":"education","lineage":["https://openalex.org/I154347574"]}],"countries":["HR"],"is_corresponding":false,"raw_author_name":"Tajana Ban Kirigin","raw_affiliation_strings":["University of Rijeka, Rijeka, Croatia"],"affiliations":[{"raw_affiliation_string":"University of Rijeka, Rijeka, Croatia","institution_ids":["https://openalex.org/I154347574"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080152569","display_name":"Vivek Nigam","orcid":"https://orcid.org/0000-0003-4089-1218"},"institutions":[{"id":"https://openalex.org/I169045520","display_name":"Universidade Federal da Para\u00edba","ror":"https://ror.org/00p9vpz11","country_code":"BR","type":"education","lineage":["https://openalex.org/I169045520"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Vivek Nigam","raw_affiliation_strings":["Federal University of Para\u00edba & fortiss, Paraiba, Brazil"],"affiliations":[{"raw_affiliation_string":"Federal University of Para\u00edba & fortiss, Paraiba, Brazil","institution_ids":["https://openalex.org/I169045520"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054465062","display_name":"Andre Scedrov","orcid":"https://orcid.org/0000-0002-4536-0419"},"institutions":[{"id":"https://openalex.org/I118501908","display_name":"National Research University Higher School of Economics","ror":"https://ror.org/055f7t516","country_code":"RU","type":"education","lineage":["https://openalex.org/I118501908"]},{"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":["RU","US"],"is_corresponding":false,"raw_author_name":"Andre Scedrov","raw_affiliation_strings":["University of Pennsylvania & NRU HSE, Philadelphia, PA, USA"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania & NRU HSE, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946","https://openalex.org/I118501908"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090498111","display_name":"Carolyn Talcott","orcid":"https://orcid.org/0000-0003-2845-7144"},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]},{"id":"https://openalex.org/I4210099336","display_name":"Menlo School","ror":"https://ror.org/01240pn49","country_code":"US","type":"education","lineage":["https://openalex.org/I4210099336"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Carolyn Talcott","raw_affiliation_strings":["SRI International, Menlo Park, USA"],"affiliations":[{"raw_affiliation_string":"SRI International, Menlo Park, USA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]}]}],"institutions":[],"countries_distinct_count":6,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5077191937"],"corresponding_institution_ids":["https://openalex.org/I134085113"],"apc_list":null,"apc_paid":null,"fwci":0.9772,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.81965183,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"60","last_page":"71"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9983000159263611,"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.9983000159263611,"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/T11800","display_name":"User Authentication and Security Systems","score":0.9980000257492065,"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.9975000023841858,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6193891763687134},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4428732097148895},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4269038736820221},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.24636545777320862}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6193891763687134},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4428732097148895},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4269038736820221},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.24636545777320862}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3264888.3264895","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3264888.3264895","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.8199999928474426}],"awards":[],"funders":[{"id":"https://openalex.org/F4320322323","display_name":"King Fahd University of Petroleum and Minerals","ror":"https://ror.org/03yez3163"},{"id":"https://openalex.org/F4320322674","display_name":"Hrvatska Zaklada za Znanost","ror":"https://ror.org/03n51vw80"},{"id":"https://openalex.org/F4320324261","display_name":"National Research University Higher School of Economics","ror":"https://ror.org/055f7t516"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W71457692","https://openalex.org/W157143398","https://openalex.org/W313326426","https://openalex.org/W1527974336","https://openalex.org/W1543390201","https://openalex.org/W1543653153","https://openalex.org/W1552533796","https://openalex.org/W1651148894","https://openalex.org/W1678943029","https://openalex.org/W1754999230","https://openalex.org/W1772572335","https://openalex.org/W1976195354","https://openalex.org/W1985229708","https://openalex.org/W1996506321","https://openalex.org/W2011329056","https://openalex.org/W2029227380","https://openalex.org/W2052524124","https://openalex.org/W2065427552","https://openalex.org/W2072794470","https://openalex.org/W2106265536","https://openalex.org/W2127785555","https://openalex.org/W2139350954","https://openalex.org/W2155481610","https://openalex.org/W2169329060","https://openalex.org/W2561675875","https://openalex.org/W2588140814","https://openalex.org/W2592875994","https://openalex.org/W2598250020","https://openalex.org/W2613098920","https://openalex.org/W2686848947","https://openalex.org/W3104249734","https://openalex.org/W3177163875"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"Distance-bounding":[0],"(DB)":[1],"protocols":[2,36,70,124],"protect":[3],"against":[4],"relay":[5],"attacks":[6,74],"on":[7,22,102,118,135],"proximity-based":[8],"access":[9],"control":[10],"systems.":[11],"In":[12,92,160],"a":[13,45,65,97,141],"DB":[14,35,69,123],"protocol,":[15],"the":[16,23,26,30,52,119,138,152,169],"verifier":[17],"computes":[18],"an":[19,57,131],"upper":[20],"bound":[21,54],"distance":[24,41,53,72,111],"to":[25,40,50,78,162,171,189],"prover":[27,47],"by":[28,56],"measuring":[29],"time-of-flight":[31],"of":[32,68,86,110,122],"exchanged":[33],"messages.":[34],"are,":[37],"however,":[38],"vulnerable":[39],"fraud,":[42,112],"in":[43],"which":[44],"dishonest":[46],"is":[48,76,82],"able":[49],"manipulate":[51],"computed":[55],"honest":[58],"verifier.":[59],"Despite":[60],"their":[61,87,179],"conceptual":[62,155],"simplicity,":[63],"devising":[64],"formal":[66,80,133,143],"characterization":[67,134],"and":[71,89,157,176],"fraud":[73],"that":[75,146,184],"amenable":[77],"automated":[79],"analysis":[81,144],"non-trivial,":[83],"primarily":[84],"because":[85],"real-time":[88],"probabilistic":[90],"nature.":[91],"this":[93],"work,":[94],"we":[95,167],"introduce":[96],"generic,":[98],"computational":[99],"model,":[100],"based":[101],"Rewriting":[103],"Logic,":[104],"for":[105],"formally":[106],"analyzing":[107],"various":[108],"forms":[109],"including":[113],"recently":[114],"identified":[115],"timing":[116],"attacks,":[117],"Hancke-Kuhn":[120],"family":[121],"through":[125],"statistical":[126],"model":[127,139,170],"checking.":[128],"While":[129],"providing":[130],"insightful":[132],"its":[136],"own,":[137],"enables":[140],"practical":[142],"method":[145],"can":[147],"help":[148],"system":[149],"designers":[150],"bridge":[151],"gap":[153],"between":[154],"descriptions":[156],"low-level":[158],"designs.":[159],"addition":[161],"accurately":[163],"confirming":[164],"known":[165],"results,":[166],"use":[168],"define":[172],"new":[173],"attack":[174],"strategies":[175],"quantitatively":[177],"evaluate":[178],"effectiveness":[180],"under":[181],"realistic":[182],"assumptions":[183],"would":[185],"otherwise":[186],"be":[187],"difficult":[188],"reason":[190],"about":[191],"manually.":[192]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}