Security in Wireless Sensor Networks: A formal verification of protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Giann Spilere Nandi' in GoogleThis author has not been identified. Look up 'David Pereira' in GoogleThis author has not been identified. Look up 'Martín Vigil' in GoogleThis author has not been identified. Look up 'Ricardo Moraes' in GoogleThis author has not been identified. Look up 'Analúcia Schiaffino Morales' in GoogleThis author has not been identified. Look up 'Gustavo Medeiros de Araújo' in Google

runs on WebDSL