Automated security verification of networking protocols and query auditing algorithms for wireless sensor networks

Title: Automated security verification of networking protocols and query auditing algorithms for wireless sensor networks
Title and subtitle in another language: Hálózati protokollok automatizált biztonsági ellenőrzése és query auditálási algoritmusok a vezetéknélküli szenzor hálózatok környezetében
Author: Thong,, Ta Vinh
Date of issue: 2013
Advisor: Buttyán, Levente
Publisher: Budapesti Műszaki és Gazdaságtudományi Egyetem
Language: en
Identifiers: BME OMIKK katalógus-azonosító: 000569716
Document type: Ph.D. Thesis