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...

Full description

Bibliographic Details
Main Author: Spilere Nandi, Giann (author)
Other Authors: Pereira, David (author), Vigil, Martín (author), Moraes, Ricardo (author), Schiaffino Morales, Analúcia (author), Araújo, Gustavo (author)
Format: conferenceObject
Language:eng
Published: 2019
Subjects:
Wireless Sensor Networks
Security
Formal Verification
Online Access:http://hdl.handle.net/10400.22/16365
Country:Portugal
Oai:oai:recipp.ipp.pt:10400.22/16365

Internet

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

Similar Items