{"id":"https://openalex.org/W2182245135","doi":null,"title":"Automated security verication of networking protocols and query auditing algorithms for wireless sensor networks","display_name":"Automated security verication of networking protocols and query auditing algorithms for wireless sensor networks","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W2182245135","mag":"2182245135"},"language":"en","primary_location":{"id":"mag:2182245135","doi":null,"is_oa":false,"landing_page_url":"https://repozitorium.omikk.bme.hu/bitstream/10890/1265/1/ertekezes.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"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/A5010943263","display_name":"Ta Vinh Thong","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Ta Vinh Thong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5010943263"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9023000001907349,"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.9023000001907349,"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/T11504","display_name":"Advanced Authentication Protocols Security","score":0.018200000748038292,"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/T10917","display_name":"Smart Grid Security and Resilience","score":0.00989999994635582,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/wireless-sensor-networks","display_name":"wireless sensor networks","score":0.9850000143051147},{"id":"https://openalex.org/keywords/network-security-protocols","display_name":"network security protocols","score":0.6679999828338623},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.6549999713897705},{"id":"https://openalex.org/keywords/cryptographic-protocols","display_name":"cryptographic protocols","score":0.5479999780654907},{"id":"https://openalex.org/keywords/resource-constrained-sensor-nodes","display_name":"resource-constrained sensor nodes","score":0.7450000047683716},{"id":"https://openalex.org/keywords/sink-node","display_name":"sink node","score":0.37400001287460327},{"id":"https://openalex.org/keywords/multi-hop-communication","display_name":"multi-hop communication","score":0.5139999985694885},{"id":"https://openalex.org/keywords/energy-efficiency","display_name":"energy efficiency","score":0.3840000033378601},{"id":"https://openalex.org/keywords/query-scheduling","display_name":"query scheduling","score":0.5699999928474426},{"id":"https://openalex.org/keywords/query-caching","display_name":"query caching","score":0.8999999761581421}],"concepts":[{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.8084427714347839},{"id":"https://openalex.org/C41971633","wikidata":"https://www.wikidata.org/wiki/Q6398155","display_name":"Key distribution in wireless sensor networks","level":4,"score":0.7136645317077637},{"id":"https://openalex.org/C68649174","wikidata":"https://www.wikidata.org/wiki/Q1379116","display_name":"Base station","level":2,"score":0.6550425291061401},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5946896076202393},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.5919312834739685},{"id":"https://openalex.org/C111185680","wikidata":"https://www.wikidata.org/wiki/Q3866206","display_name":"Sensor node","level":5,"score":0.5602209568023682},{"id":"https://openalex.org/C7091991","wikidata":"https://www.wikidata.org/wiki/Q17149548","display_name":"Mobile wireless sensor network","level":5,"score":0.5386173129081726},{"id":"https://openalex.org/C116593020","wikidata":"https://www.wikidata.org/wiki/Q17005322","display_name":"Base transceiver station","level":5,"score":0.43308025598526},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.4001091718673706},{"id":"https://openalex.org/C108037233","wikidata":"https://www.wikidata.org/wiki/Q11375","display_name":"Wireless network","level":3,"score":0.30984169244766235},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.19918307662010193}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2182245135","doi":null,"is_oa":false,"landing_page_url":"https://repozitorium.omikk.bme.hu/bitstream/10890/1265/1/ertekezes.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":70,"referenced_works":["https://openalex.org/W68069235","https://openalex.org/W105203805","https://openalex.org/W151408735","https://openalex.org/W1504049208","https://openalex.org/W1532054750","https://openalex.org/W1545064208","https://openalex.org/W1547042388","https://openalex.org/W1560517512","https://openalex.org/W1565016933","https://openalex.org/W1571487936","https://openalex.org/W1578085187","https://openalex.org/W1594702925","https://openalex.org/W1650107222","https://openalex.org/W1762430620","https://openalex.org/W1862398452","https://openalex.org/W1968075209","https://openalex.org/W1968437296","https://openalex.org/W1969734941","https://openalex.org/W1970016006","https://openalex.org/W1970066673","https://openalex.org/W1973054120","https://openalex.org/W1973117121","https://openalex.org/W1987283635","https://openalex.org/W1990328104","https://openalex.org/W1994676271","https://openalex.org/W2001199719","https://openalex.org/W2005725110","https://openalex.org/W2005844032","https://openalex.org/W2013665221","https://openalex.org/W2013672985","https://openalex.org/W2016695171","https://openalex.org/W2025670163","https://openalex.org/W2030234080","https://openalex.org/W2033751220","https://openalex.org/W2039186034","https://openalex.org/W2047588704","https://openalex.org/W2107808918","https://openalex.org/W2109820954","https://openalex.org/W2110081058","https://openalex.org/W2110425399","https://openalex.org/W2117427846","https://openalex.org/W2121563302","https://openalex.org/W2123033018","https://openalex.org/W2128802381","https://openalex.org/W2130899669","https://openalex.org/W2131373949","https://openalex.org/W2138644571","https://openalex.org/W2139438549","https://openalex.org/W2145323318","https://openalex.org/W2148955694","https://openalex.org/W2156307401","https://openalex.org/W2156536653","https://openalex.org/W2157283388","https://openalex.org/W2157457404","https://openalex.org/W2158210197","https://openalex.org/W2160883697","https://openalex.org/W2166850453","https://openalex.org/W2170239483","https://openalex.org/W2171574517","https://openalex.org/W2171877276","https://openalex.org/W2266218113","https://openalex.org/W2293654645","https://openalex.org/W2464628418","https://openalex.org/W2542690882","https://openalex.org/W2611147814","https://openalex.org/W2630394794","https://openalex.org/W2911422748","https://openalex.org/W3029035985","https://openalex.org/W3112127769","https://openalex.org/W3144368627"],"related_works":["https://openalex.org/W7095840141","https://openalex.org/W4236474721","https://openalex.org/W2286160162","https://openalex.org/W6959840757","https://openalex.org/W1546585744","https://openalex.org/W7099263556","https://openalex.org/W7099922994","https://openalex.org/W3004051737","https://openalex.org/W7098358843","https://openalex.org/W2560849432"],"abstract_inverted_index":{"Wireless":[0],"Sensor":[1],"Networks":[2],"(WSNs)":[3],"are":[4,130,187,253,288,383,473,495],"given":[5],"higher":[6],"priority":[7],"recently,":[8],"thanks":[9],"to":[10,31,60,113,154,195,198,231,316,354,364,386,480,498,551],"their":[11,216,526],"increasingly":[12],"important":[13,153],"role":[14],"and":[15,74,92,109,146,150,172,223,258,282,310,341,359,395,404,448,478,516,522,540],"widespread":[16],"applications":[17,244,371],"in":[18,124,137,180,221,255,349,372,388,412,425,464,491,509],"everyday":[19],"life.":[20],"WSNs":[21,81,138,213,239,370,382],"consist":[22,82,206],"of":[23,83,87,104,158,163,182,191,207,212,238,291,304,369,392,501,505,536],"spatially":[24],"distributed":[25],"sensors":[26,73,100],"(called":[27],"as":[28,38,133,246,405],"sensor":[29,47,90,144,170,297,307,351],"nodes)":[30],"monitor":[32],"physical":[33],"or":[34,58],"environmental":[35,266],"conditions,":[36],"such":[37,245,251,470],"temperature,":[39],"sound,":[40],"pressure,":[41],"etc.,":[42],"at":[43,402],"different":[44],"locations.":[45],"Each":[46],"node":[48,308],"typically":[49],"has":[50],"a":[51,64,79,84,93,169,176,201,289,324,373,406,413,445,553],"radio":[52],"transceiver":[53],"with":[54,71,295,322],"an":[55,61,66,75],"internal":[56],"antenna":[57],"connection":[59],"external":[62],"antenna,":[63],"microcontroller,":[65],"electronic":[67],"circuit":[68],"for":[69,218,314,318,334],"interfacing":[70],"the":[72,107,114,125,127,143,147,156,166,173,192,199,301,311,366,379,393,455,484,492,502,510],"energy":[76],"source,":[77],"usually":[78,139],"battery.":[80,326],"large":[85],"number":[86,290,504],"resource":[88],"constrained":[89],"nodes":[91,145,315],"few":[94],"more":[95],"powerful":[96],"base":[97,115,128,148,177],"stations.":[98],"The":[99,189,210,236,487,529],"collect":[101],"various":[102],"types":[103],"data":[105,112],"from":[106,215,300],"environment":[108,375,415],"send":[110],"those":[111,159],"stations":[116,129],"using":[117],"multi-hop":[118],"wireless":[119,296,350],"communications.":[120,160],"For":[121,327],"this":[122,328,423,557],"reason,":[123,329],"literature,":[126],"also":[131],"called":[132],"sink":[134],"nodes.":[135],"Communications":[136],"take":[140],"place":[141],"between":[142],"stations,":[149],"it":[151,227,547],"is":[152,168,175,194,228,444,452,532,538,548],"distinguish":[155],"direction":[157],"In":[161,512],"case":[162,181],"upstream":[164],"communication,":[165,184],"sender":[167,193],"node,":[171],"receiver":[174,200],"station,":[178],"while":[179],"downstream":[183],"these":[185],"roles":[186],"reversed.":[188],"goal":[190],"reliably":[196],"transmit":[197],"full":[202],"message":[203],"that":[204,381,457,472,533],"may":[205],"multiple":[208],"fragments.":[209],"importance":[211],"arises":[214],"capability":[217],"detailed":[219],"monitoring":[220,263,267,271,285],"remote":[222],"inaccessible":[224],"locations":[225],"where":[226,416],"not":[229,398,549],"feasible":[230],"install":[232],"conventional":[233],"wired":[234,335],"infrastructure.":[235],"development":[237],"was":[240],"motivated":[241],"by":[242,454,475,483],"military":[243],"battlefield":[247],"surveillance,":[248],"however,":[249],"today":[250],"networks":[252],"used":[254,467],"many":[256,428,465,513],"industrial":[257,283],"consumer":[259],"applications,":[260],"including":[261,469],"medical":[262],"[62],":[264],"[32],":[265],"[65],":[268],"air":[269],"pollution":[270],"[41],":[272],"natural":[273],"disaster":[274],"prevention,":[275],"forest":[276],"fire":[277],"detection,":[278],"smart":[279],"home":[280],"monitoring,":[281],"machine":[284],"[8].":[286],"There":[287],"research":[292,429],"challenges":[293],"associated":[294],"communication":[298],"arising":[299],"limited":[302],"capabilities":[303],"low":[305],"cost":[306],"hardware":[309],"common":[312],"requirement":[313],"operate":[317,387],"long":[319],"time":[320],"periods":[321],"only":[323,411,519],"small":[325],"most":[330],"security":[331,400,433,442,459,488,541],"solutions":[332,360,396],"designed":[333,493],"networks,":[336],"which":[337,451],"often":[338,384,496],"include":[339],"memory":[340],"computation":[342],"intensive":[343],"tasks,":[344],"cannot":[345],"be":[346,462,481,544,552],"directly":[347],"adopted":[348],"networks.":[352],"Up":[353],"date,":[355],"numerous":[356],"networking":[357],"protocols":[358,394,434,443,471,494,537],"have":[361],"been":[362],"proposed":[363,527],"ensure":[365,409],"reliable":[367,554],"operation":[368],"hostile":[374,389],"[19].":[376,439],"However,":[377],"despite":[378],"fact":[380,456],"envisioned":[385],"environments,":[390],"some":[391],"do":[397],"address":[399],"issues":[401],"all,":[403],"consequence":[407],"they":[408],"reliability":[410],"benign":[414],"no":[417],"intentional":[418],"attack":[419],"takes":[420],"place.":[421],"Recognizing":[422],"problem,":[424,558],"recent":[426],"years":[427],"focused":[430],"on":[431,436,525],"proposing":[432],"based":[435],"cryptographic":[437,476],"methods":[438],"Unfortunately,":[440],"designing":[441],"very":[446],"difficult":[447],"error-prone":[449],"task,":[450],"confirmed":[453],"critical":[458],"holes":[460,542],"can":[461,543],"found":[463],"widely":[466],"protocols,":[468],"secured":[474],"operations,":[477],"believed":[479],"secure":[482],"protocol":[485,515],"designers.":[486],"vulnerabilities":[489],"inherent":[490],"hard":[497],"spot,":[499],"because":[500],"huge":[503],"behavioral":[506],"scenarios":[507],"defined":[508],"protocols.":[511,528],"cases,":[514],"system":[517],"designers":[518],"perform":[520],"manual":[521],"informal":[523,534],"analysis":[524,535],"main":[530],"problem":[531],"error-prone,":[539],"overlooked,":[545],"hence,":[546],"considered":[550],"approach.":[555],"Addressing":[556]},"counts_by_year":[],"updated_date":"2026-09-26T08:19:03.415552","created_date":"2016-06-24T00:00:00"}