{"id":"https://openalex.org/W2151238532","doi":"https://doi.org/10.1145/1454630.1454638","title":"Modelling secure wireless sensor networks routing protocols with timed automata","display_name":"Modelling secure wireless sensor networks routing protocols with timed automata","publication_year":2008,"publication_date":"2008-10-31","ids":{"openalex":"https://openalex.org/W2151238532","doi":"https://doi.org/10.1145/1454630.1454638","mag":"2151238532"},"language":"en","primary_location":{"id":"doi:10.1145/1454630.1454638","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1454630.1454638","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 3nd ACM workshop on Performance monitoring and measurement of heterogeneous wireless and wired networks","raw_type":"proceedings-article"},"type":"conference-paper","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/A5056271706","display_name":"Llanos Tobarra","orcid":"https://orcid.org/0000-0003-2779-4042"},"institutions":[{"id":"https://openalex.org/I79189158","display_name":"University of Castilla-La Mancha","ror":"https://ror.org/05r78ng12","country_code":"ES","type":"education","lineage":["https://openalex.org/I79189158"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Llanos Tobarra","raw_affiliation_strings":["University of Castilla-La Mancha, Albacete, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Castilla-La Mancha, Albacete, Spain","institution_ids":["https://openalex.org/I79189158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023351887","display_name":"Diego Cazorla","orcid":"https://orcid.org/0000-0002-0714-7510"},"institutions":[{"id":"https://openalex.org/I79189158","display_name":"University of Castilla-La Mancha","ror":"https://ror.org/05r78ng12","country_code":"ES","type":"education","lineage":["https://openalex.org/I79189158"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Diego Cazorla","raw_affiliation_strings":["University of Castilla-La Mancha, Albacete, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Castilla-La Mancha, Albacete, Spain","institution_ids":["https://openalex.org/I79189158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089088043","display_name":"Fernando Cuartero","orcid":"https://orcid.org/0000-0001-6285-8860"},"institutions":[{"id":"https://openalex.org/I79189158","display_name":"University of Castilla-La Mancha","ror":"https://ror.org/05r78ng12","country_code":"ES","type":"education","lineage":["https://openalex.org/I79189158"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Fernando Cuartero","raw_affiliation_strings":["University of Castilla-La Mancha, Albacete, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Castilla-La Mancha, Albacete, Spain","institution_ids":["https://openalex.org/I79189158"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109242487","display_name":"J. Jos\u00e9 Pardo","orcid":null},"institutions":[{"id":"https://openalex.org/I79189158","display_name":"University of Castilla-La Mancha","ror":"https://ror.org/05r78ng12","country_code":"ES","type":"education","lineage":["https://openalex.org/I79189158"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"J. Jose Pardo","raw_affiliation_strings":["University of Castilla-La Mancha, Albacete, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Castilla-La Mancha, Albacete, Spain","institution_ids":["https://openalex.org/I79189158"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I79189158"],"apc_list":null,"apc_paid":null,"fwci":0.2546,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.48432322,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"51","last_page":"58"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11498","display_name":"Security in Wireless Sensor Networks","score":0.9991999864578247,"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/T11498","display_name":"Security in Wireless Sensor Networks","score":0.9991999864578247,"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/T10246","display_name":"Mobile Ad Hoc Networks","score":0.9983999729156494,"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/T10142","display_name":"Formal Methods in Verification","score":0.9943000078201294,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.8177122473716736},{"id":"https://openalex.org/keywords/routing-protocol","display_name":"Routing protocol","score":0.6591180562973022},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.6487023830413818},{"id":"https://openalex.org/keywords/wireless-sensor-network","display_name":"Wireless sensor network","score":0.5966008901596069},{"id":"https://openalex.org/keywords/link-state-routing-protocol","display_name":"Link-state routing protocol","score":0.5692896246910095},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5381174683570862},{"id":"https://openalex.org/keywords/dynamic-source-routing","display_name":"Dynamic Source Routing","score":0.5274011492729187},{"id":"https://openalex.org/keywords/static-routing","display_name":"Static routing","score":0.5049627423286438},{"id":"https://openalex.org/keywords/multipath-routing","display_name":"Multipath routing","score":0.498931884765625},{"id":"https://openalex.org/keywords/interior-gateway-protocol","display_name":"Interior gateway protocol","score":0.4936555325984955},{"id":"https://openalex.org/keywords/geographic-routing","display_name":"Geographic routing","score":0.481500506401062},{"id":"https://openalex.org/keywords/policy-based-routing","display_name":"Policy-based routing","score":0.4526198208332062},{"id":"https://openalex.org/keywords/routing","display_name":"Routing (electronic design automation)","score":0.44950684905052185},{"id":"https://openalex.org/keywords/routing-domain","display_name":"Routing domain","score":0.42267847061157227}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8177122473716736},{"id":"https://openalex.org/C104954878","wikidata":"https://www.wikidata.org/wiki/Q1648707","display_name":"Routing protocol","level":3,"score":0.6591180562973022},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.6487023830413818},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.5966008901596069},{"id":"https://openalex.org/C89305328","wikidata":"https://www.wikidata.org/wiki/Q1755411","display_name":"Link-state routing protocol","level":4,"score":0.5692896246910095},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5381174683570862},{"id":"https://openalex.org/C9659607","wikidata":"https://www.wikidata.org/wiki/Q1268903","display_name":"Dynamic Source Routing","level":4,"score":0.5274011492729187},{"id":"https://openalex.org/C204948658","wikidata":"https://www.wikidata.org/wiki/Q1119410","display_name":"Static routing","level":4,"score":0.5049627423286438},{"id":"https://openalex.org/C76522221","wikidata":"https://www.wikidata.org/wiki/Q5035396","display_name":"Multipath routing","level":5,"score":0.498931884765625},{"id":"https://openalex.org/C52837422","wikidata":"https://www.wikidata.org/wiki/Q431028","display_name":"Interior gateway protocol","level":5,"score":0.4936555325984955},{"id":"https://openalex.org/C50558702","wikidata":"https://www.wikidata.org/wiki/Q5535067","display_name":"Geographic routing","level":5,"score":0.481500506401062},{"id":"https://openalex.org/C196423136","wikidata":"https://www.wikidata.org/wiki/Q7209671","display_name":"Policy-based routing","level":5,"score":0.4526198208332062},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.44950684905052185},{"id":"https://openalex.org/C94600068","wikidata":"https://www.wikidata.org/wiki/Q7371621","display_name":"Routing domain","level":5,"score":0.42267847061157227}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1454630.1454638","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1454630.1454638","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 3nd ACM workshop on Performance monitoring and measurement of heterogeneous wireless and wired networks","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1962072139","https://openalex.org/W2000947342","https://openalex.org/W2033751220","https://openalex.org/W2117064875","https://openalex.org/W2128381560","https://openalex.org/W2139438549","https://openalex.org/W2175137100","https://openalex.org/W2913459036","https://openalex.org/W4231753281","https://openalex.org/W6684644128"],"related_works":["https://openalex.org/W2613682624","https://openalex.org/W2002267183","https://openalex.org/W2944616377","https://openalex.org/W2619478018","https://openalex.org/W153071365","https://openalex.org/W2489455785","https://openalex.org/W2069654893","https://openalex.org/W1585786976","https://openalex.org/W2156666755","https://openalex.org/W1487864992"],"abstract_inverted_index":{"In":[0,37],"this":[1,42],"work":[2],"we":[3,44],"focus":[4],"on":[5,24,80],"secure":[6,54],"routing":[7,26,55],"protocols":[8,56],"in":[9,18,33],"wireless":[10],"sensor":[11,19,74],"networks.":[12],"Routing":[13],"is":[14,78],"a":[15,30],"fundamental":[16],"task":[17],"networks":[20],"and,":[21],"consequently,":[22],"attacks":[23],"the":[25,34,46,59,70,73,84],"functionality":[27],"can":[28],"have":[29],"serious":[31],"impact":[32],"network":[35],"performance.":[36],"order":[38],"to":[39,69],"deal":[40],"with":[41],"problem":[43],"propose":[45],"application":[47],"of":[48,72],"an":[49,65],"existing":[50],"modelling":[51],"framework":[52,63],"for":[53],"which":[57],"reflects":[58],"node":[60],"capabilities.":[61],"This":[62],"describes":[64],"adversary":[66],"model":[67],"adapted":[68],"capabilities":[71],"network.":[75],"Our":[76],"proposal":[77],"based":[79],"timed":[81],"automata":[82],"and":[83],"UPPAAL":[85],"tool.":[86]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}