Security in Wireless Sensor Networks: A Formal Verification of Protocols

AuthID
P-00R-QTY
6
Author(s)
Nandi, GS
·
Vigil, M
·
Moraes, R
·
Morales, AS
·
Araujo, G
Tipo de Documento
Proceedings Paper
Year published
2019
Publicado
in 2019 IEEE 17TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN) in IEEE International Conference on Industrial Informatics INDIN, ISSN: 1935-4576
Volume: 2019-July, Páginas: 425-431 (7)
Conference
17Th Ieee International Conference on Industrial Informatics (Indin), Date: JUL 22-25, 2019, Location: Aalto Univ, FINLAND, Patrocinadores: Inst Elect & Elect Engineers, Tampere Univ, Finnish Soc Automat, IEEE Ind Elect Soc, Host: Aalto Univ
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-85079062203
Wos: WOS:000529510400062
Source Identifiers
ISSN: 1935-4576
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.