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
Date of defence: 2014-01-27
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
Faculty: Villamosmérnöki és Informatikai Kar
Doctoral school: Informatikai Tudományok Doktori Iskola