Security in Wireless Sensor Networks: A formal verification of protocols

The increase of the digitalization taking place in various industrial domains is leading developers towards the design and implementation of more and more complex networked control systems (NCS) supported by Wireless Sensor Networks (WSN). This naturally raises new challenges for the current WSN tec...

ver descrição completa

Detalhes bibliográficos
Autor principal: Spilere Nandi, Giann (author)
Outros Autores: Pereira, David (author), Vigil, Martín (author), Moraes, Ricardo (author), Schiaffino Morales, Analúcia (author), Araújo, Gustavo (author)
Formato: conferenceObject
Idioma:eng
Publicado em: 2019
Assuntos:
Wireless Sensor Networks
Security
Formal Verification
Texto completo:http://hdl.handle.net/10400.22/16365
País:Portugal
Oai:oai:recipp.ipp.pt:10400.22/16365

Texto Completo

http://hdl.handle.net/10400.22/16365

Registos relacionados