{"id":"https://openalex.org/W2051286896","doi":"https://doi.org/10.1109/hase.2011.57","title":"Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking","display_name":"Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking","publication_year":2011,"publication_date":"2011-11-01","ids":{"openalex":"https://openalex.org/W2051286896","doi":"https://doi.org/10.1109/hase.2011.57","mag":"2051286896"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/hase.2011.57","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://delab.csd.auth.gr/papers/HASE2010abkds.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062882177","display_name":"Tushar Deshpande","orcid":"https://orcid.org/0000-0001-5502-6062"},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tushar Deshpande","raw_affiliation_strings":["Dept. of Computer Science, Stony Brook University, Stony Brook, NY, USA."],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, Stony Brook University, Stony Brook, NY, USA.","institution_ids":["https://openalex.org/I59553526"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002757052","display_name":"Panagiotis Katsaros","orcid":"https://orcid.org/0000-0002-4309-5295"},"institutions":[{"id":"https://openalex.org/I21370196","display_name":"Aristotle University of Thessaloniki","ror":"https://ror.org/02j61yw88","country_code":"GR","type":"education","lineage":["https://openalex.org/I21370196"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Panagiotis Katsaros","raw_affiliation_strings":["Dept. of Inf., Aristotle Univ. of Thessaloniki, Thessaloniki, Greece#TAB#"],"affiliations":[{"raw_affiliation_string":"Dept. of Inf., Aristotle Univ. of Thessaloniki, Thessaloniki, Greece#TAB#","institution_ids":["https://openalex.org/I21370196"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080661611","display_name":"Stylianos Basagiannis","orcid":"https://orcid.org/0000-0002-4513-0541"},"institutions":[{"id":"https://openalex.org/I21370196","display_name":"Aristotle University of Thessaloniki","ror":"https://ror.org/02j61yw88","country_code":"GR","type":"education","lineage":["https://openalex.org/I21370196"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Stylianos Basagiannis","raw_affiliation_strings":["Dept. of Inf., Aristotle Univ. of Thessaloniki, Thessaloniki, Greece#TAB#"],"affiliations":[{"raw_affiliation_string":"Dept. of Inf., Aristotle Univ. of Thessaloniki, Thessaloniki, Greece#TAB#","institution_ids":["https://openalex.org/I21370196"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039202410","display_name":"Scott A. Smolka","orcid":"https://orcid.org/0000-0002-7348-630X"},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Scott A. Smolka","raw_affiliation_strings":["Dept. of Computer Science, Stony Brook University, Stony Brook, NY, USA."],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, Stony Brook University, Stony Brook, NY, USA.","institution_ids":["https://openalex.org/I59553526"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.254,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":20,"citation_normalized_percentile":{"value":0.920732,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":90},"biblio":{"volume":null,"issue":null,"first_page":"360","last_page":"367"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10400","display_name":"Network Security and Intrusion Detection","score":0.9998,"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9998,"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/T12326","display_name":"Network Packet Processing and Optimization","score":0.9992,"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"}},{"id":"https://openalex.org/T10651","display_name":"IPv6, Mobility, Handover, Networks, Security","score":0.9988,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7789413},{"id":"https://openalex.org/C38822068","wikidata":"https://www.wikidata.org/wiki/Q131406","display_name":"Denial-of-service attack","level":3,"score":0.704121},{"id":"https://openalex.org/C43364308","wikidata":"https://www.wikidata.org/wiki/Q8799","display_name":"Byte","level":2,"score":0.583007},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5786254},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.57724124},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.54535663},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.47864258},{"id":"https://openalex.org/C2776257435","wikidata":"https://www.wikidata.org/wiki/Q1576430","display_name":"Bandwidth (computing)","level":2,"score":0.42534927},{"id":"https://openalex.org/C35026560","wikidata":"https://www.wikidata.org/wiki/Q8767","display_name":"Domain Name System","level":3,"score":0.4233621},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.25062916},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.14019167},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/hase.2011.57","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.294.8199","pdf_url":"http://delab.csd.auth.gr/papers/HASE2010abkds.pdf","source":{"id":"https://openalex.org/S4306400349","display_name":"CiteSeer X (The Pennsylvania State University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I130769515","host_organization_name":"Pennsylvania State University","host_organization_lineage":["https://openalex.org/I130769515"],"host_organization_lineage_names":["Pennsylvania State University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.294.8199","pdf_url":"http://delab.csd.auth.gr/papers/HASE2010abkds.pdf","source":{"id":"https://openalex.org/S4306400349","display_name":"CiteSeer X (The Pennsylvania State University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I130769515","host_organization_name":"Pennsylvania State University","host_organization_lineage":["https://openalex.org/I130769515"],"host_organization_lineage_names":["Pennsylvania State University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":29,"referenced_works":["https://openalex.org/W128137723","https://openalex.org/W1487260974","https://openalex.org/W1516256348","https://openalex.org/W1526572178","https://openalex.org/W1574505635","https://openalex.org/W175013742","https://openalex.org/W1859458367","https://openalex.org/W1859864512","https://openalex.org/W1950071440","https://openalex.org/W1984479361","https://openalex.org/W1996201018","https://openalex.org/W1996506321","https://openalex.org/W2001968297","https://openalex.org/W2068173259","https://openalex.org/W2087853663","https://openalex.org/W2094675735","https://openalex.org/W2106493736","https://openalex.org/W2113582392","https://openalex.org/W2123205020","https://openalex.org/W2135195977","https://openalex.org/W2155545199","https://openalex.org/W2162686919","https://openalex.org/W2168727285","https://openalex.org/W2594574394","https://openalex.org/W3145257572","https://openalex.org/W3161920093","https://openalex.org/W4394944621","https://openalex.org/W4401670423","https://openalex.org/W71457692"],"related_works":["https://openalex.org/W4386482731","https://openalex.org/W4385302085","https://openalex.org/W4302160995","https://openalex.org/W3004039032","https://openalex.org/W2765763546","https://openalex.org/W2581250286","https://openalex.org/W2388081684","https://openalex.org/W2183899684","https://openalex.org/W2039821316","https://openalex.org/W2012920909"],"abstract_inverted_index":{"The":[0,142],"DNS":[1,19,77,101,176],"Bandwidth":[2],"Amplification":[3,30],"Attack":[4],"(BAA)":[5],"is":[6,97,109,172],"a":[7,13,18,41,49,69,119,178],"distributed":[8],"denial-of-service":[9],"attack":[10,34],"in":[11,58,121,127],"which":[12,96],"network":[14],"of":[15,37,53,75,91,107,123,130],"computers":[16],"floods":[17],"server":[20,120],"with":[21],"responses":[22],"to":[23,67,85,99,177],"requests":[24],"that":[25,40,114,170],"have":[26],"never":[27],"been":[28],"made.":[29],"enters":[31],"into":[32],"the":[33,38,62,76,92,116,124,128,134,157,189],"by":[35,48,137,161],"virtue":[36],"fact":[39],"small":[42],"60-byte":[43],"request":[44],"can":[45],"be":[46],"answered":[47],"substantially":[50],"larger":[51],"response":[52],"4,000":[54],"bytes":[55],"or":[56],"more":[57,148,173],"size.":[59],"We":[60],"use":[61],"PRISM":[63,151],"probabilistic":[64],"model":[65,74],"checker":[66],"introduce":[68],"Continuous":[70],"Time":[71],"Markov":[72],"Chain":[73],"BAA":[78,179],"and":[79,84,102],"three":[80],"recently":[81],"proposed":[82],"countermeasures,":[83],"perform":[86],"an":[87],"extensive":[88],"cost-benefit":[89],"analysis":[90],"countermeasures.":[93,190],"Our":[94,166],"analysis,":[95],"applicable":[98],"both":[100],"DNSSec":[103,171,183],"(a":[104],"security":[105],"extension":[106],"DNS),":[108],"based":[110],"on":[111],"objective":[112],"metrics":[113],"weigh":[115],"benefits":[117],"for":[118],"terms":[122],"percentage":[125],"increase":[126],"processing":[129],"legitimate":[131,140],"packets":[132],"against":[133],"cost":[135],"incurred":[136],"incorrectly":[138],"dropping":[139],"traffic.":[141],"results":[143,167],"we":[144],"obtain,":[145],"gleaned":[146],"from":[147,188],"than":[149,175],"450":[150],"runs,":[152],"demonstrate":[153],"significant":[154],"differences":[155],"between":[156],"countermeasures":[158],"as":[159],"reflected":[160],"their":[162],"respective":[163],"net":[164],"benefits.":[165],"also":[168],"reveal":[169],"vulnerable":[174],"attack,":[180],"and,":[181],"relatedly,":[182],"derives":[184],"significantly":[185],"less":[186],"benefit":[187]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2051286896","counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2024-12-08T07:09:15.419365","created_date":"2016-06-24"}