{"id":"https://openalex.org/W3013554168","doi":"https://doi.org/10.5220/0009380508150824","title":"Analysis of Security Attacks in Wireless Sensor Networks: From UPPAAL to Castalia","display_name":"Analysis of Security Attacks in Wireless Sensor Networks: From UPPAAL to Castalia","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3013554168","doi":"https://doi.org/10.5220/0009380508150824","mag":"3013554168"},"language":"en","primary_location":{"id":"doi:10.5220/0009380508150824","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0009380508150824","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th International Conference on Information Systems Security and Privacy","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.5220/0009380508150824","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5065265267","display_name":"Cinzia Bernardeschi","orcid":"https://orcid.org/0000-0003-1604-4465"},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Cinzia Bernardeschi","raw_affiliation_strings":["Department of Information Engineering, Pisa University, Pisa, Italy, --- Select a Country ---"],"affiliations":[{"raw_affiliation_string":"Department of Information Engineering, Pisa University, Pisa, Italy, --- Select a Country ---","institution_ids":["https://openalex.org/I108290504"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003061509","display_name":"Gianluca Dini","orcid":"https://orcid.org/0000-0002-6029-5467"},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Gianluca Dini","raw_affiliation_strings":["Department of Information Engineering, Pisa University, Pisa, Italy, --- Select a Country ---"],"affiliations":[{"raw_affiliation_string":"Department of Information Engineering, Pisa University, Pisa, Italy, --- Select a Country ---","institution_ids":["https://openalex.org/I108290504"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088309110","display_name":"Maurizio Palmieri","orcid":"https://orcid.org/0000-0002-6177-0928"},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Maurizio Palmieri","raw_affiliation_strings":["Department of Information Engineering, Pisa University, Pisa, Italy, --- Select a Country ---"],"affiliations":[{"raw_affiliation_string":"Department of Information Engineering, Pisa University, Pisa, Italy, --- Select a Country ---","institution_ids":["https://openalex.org/I108290504"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001176450","display_name":"Francesco Racciatti","orcid":"https://orcid.org/0000-0002-0452-5010"},"institutions":[{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesco Racciatti","raw_affiliation_strings":["Department of Information Engineering, Florence University, Florence, Italy, --- Select a Country ---"],"affiliations":[{"raw_affiliation_string":"Department of Information Engineering, Florence University, Florence, Italy, --- Select a Country ---","institution_ids":["https://openalex.org/I45084792"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5065265267"],"corresponding_institution_ids":["https://openalex.org/I108290504"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04513411,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"815","last_page":"824"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10400","display_name":"Network Security and Intrusion Detection","score":0.6287999749183655,"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.6287999749183655,"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/T11498","display_name":"Security in Wireless Sensor Networks","score":0.5956000089645386,"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.7981812357902527},{"id":"https://openalex.org/keywords/wireless-sensor-network","display_name":"Wireless sensor network","score":0.683822512626648},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.5581677556037903},{"id":"https://openalex.org/keywords/wireless","display_name":"Wireless","score":0.4135308265686035},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4133397936820984},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.09998401999473572}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7981812357902527},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.683822512626648},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.5581677556037903},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.4135308265686035},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4133397936820984},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.09998401999473572}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5220/0009380508150824","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0009380508150824","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th International Conference on Information Systems Security and Privacy","raw_type":"proceedings-article"},{"id":"pmh:oai:arpi.unipi.it:11568/1055236","is_oa":false,"landing_page_url":"http://hdl.handle.net/11568/1055236","pdf_url":null,"source":{"id":"https://openalex.org/S4377196265","display_name":"CINECA IRIS Institutial research information system (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"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":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.5220/0009380508150824","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0009380508150824","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th International Conference on Information Systems Security and Privacy","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W4402327032","https://openalex.org/W2382290278"],"abstract_inverted_index":{"Wireless":[0],"Sensor":[1],"Networks":[2],"(WSNs)":[3],"are":[4,150],"particularly":[5],"prone":[6],"to":[7,24,36,83,163],"security":[8,16,34,62],"attacks.":[9],"However,":[10],"it":[11,21,81],"is":[12,17,22,136,161,178],"well-known":[13],"that":[14,50],"perfect":[15],"not":[18],"achievable.":[19],"Therefore,":[20],"important":[23],"identify":[25],"threats":[26],"and":[27,54,88,103,115,129,142,152,183,194],"evaluate":[28],"their":[29],"severity,":[30],"for":[31,57,169,186],"prioritizing":[32],"the":[33,59,72,76,101,104,107,146,157,170,175,191],"countermeasures":[35],"be":[37],"adopted,":[38],"even":[39],"since":[40],"design":[41,68,128],"time.":[42],"In":[43],"this":[44],"work,":[45],"we":[46,127],"propose":[47],"an":[48,131],"approach":[49],"binds":[51],"formal":[52,148],"methods":[53,79],"network":[55,102,110,167,176],"simulation":[56],"assessing":[58],"effects":[60],"of":[61,75,91,125],"attacks":[63],"on":[64,139],"WSN":[65,171],"applications":[66],"from":[67,71],"time,":[69],"starting":[70],"abstract":[73,85],"model":[74,160,168,177],"system.":[77],"Formal":[78],"make":[80],"possible":[82],"build":[84],"system":[86],"models":[87],"state":[89],"properties":[90,149],"general":[92],"validity,":[93],"but":[94],"cannot":[95],"provide":[96,113],"any":[97],"concrete":[98],"measurement":[99],"regarding":[100],"application.":[105],"On":[106],"other":[108],"hand,":[109],"simulators":[111],"can":[112],"precise":[114],"realistic":[116,188],"information":[117,189],"about":[118,190],"simulated":[119,137,179],"scenarios":[120],"only.":[121],"As":[122],"a":[123,166],"proof":[124],"concept,":[126],"prototype":[130],"application-level":[132],"communication":[133],"protocol,":[134],"which":[135],"both":[138],"attack":[140,143,181,184],"free":[141,182],"scenarios.":[144],"First,":[145],"protocol's":[147],"specified":[151],"proved":[153],"via":[154],"UPPAAL.":[155],"Then,":[156],"resulting":[158],"UPPAAL":[159],"used":[162],"automatically":[164],"generate":[165],"simulator":[172],"Castalia.":[173],"Finally,":[174],"against":[180],"scenarios,":[185],"gathering":[187],"protocol":[192],"behavior":[193],"performance.":[195]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2020-04-03T00:00:00"}