Giann Spilere Nandi, David Pereira, Martín Vigil, Ricardo Moraes, Analúcia Schiaffino Morales, Gustavo Medeiros de Araújo. Security in Wireless Sensor Networks: A formal verification of protocols. In 17th IEEE International Conference on Industrial Informatics, INDIN 2019, Helsinki, Finland, July 22-25, 2019. pages 425-431, IEEE, 2019. [doi]
Abstract is missing.