Publications

Security in Wireless Sensor Networks: A Formal Verification of Protocols

AuthID
P-00R-QTY

Author(s)

Nandi, GS

Pereira, D

Vigil, M

Moraes, R

Morales, AS

Araujo, G

Document Type

Proceedings Paper

Year published

2019

Published

in 2019 IEEE 17TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN) in IEEE International Conference on Industrial Informatics INDIN, ISSN: 1935-4576

Volume: 2019-July, Pages: 425-431 (7)

Conference

17Th Ieee International Conference on Industrial Informatics (Indin), Date: JUL 22-25, 2019, Location: Aalto Univ, FINLAND, Sponsors: Inst Elect & Elect Engineers, Tampere Univ, Finnish Soc Automat, IEEE Ind Elect Soc, Host: Aalto Univ

Indexing