A Survey on Secure Communication Protocols for IoT Systems

2016 International Workshop on Secure Internet of Things (SIoT) ◽

10.1109/siot.2016.012 ◽

2016 ◽

Author(s):

Dan Dragomir ◽

Laura Gheorghe ◽

Sergiu Costea ◽

Alexandru Radovici

Keyword(s):

Secure Communication ◽

Communication Protocols

Download Full-text

A privacy protection secure communication protocols for the Industrial Internet of Things

Proceedings of the 2020 International Conference on Cyberspace Innovation of Advanced Technologies ◽

10.1145/3444370.3444580 ◽

2020 ◽

Author(s):

Hang Yang ◽

Yi Zhang ◽

Pingping Zhao ◽

Xiaoman Cheng ◽

Qian Huang

Keyword(s):

Internet Of Things ◽

Privacy Protection ◽

Secure Communication ◽

Communication Protocols ◽

Industrial Internet Of Things ◽

Industrial Internet

Download Full-text

Formal specification and verification of secure communication protocols

Advances in Cryptology — AUSCRYPT '90 - Lecture Notes in Computer Science ◽

10.1007/bfb0030352 ◽

2006 ◽

pp. 58-73

Author(s):

Svein J. Knapskog

Keyword(s):

Formal Specification ◽

Secure Communication ◽

Communication Protocols ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Energy Awareness and Secure Communication Protocols: The Era of Green Cybersecurity

Communications in Computer and Information Science - Security in Computing and Communications ◽

10.1007/978-981-15-4825-3_13 ◽

2020 ◽

pp. 159-173

Author(s):

Marco Castaldo ◽

Aniello Castiglione ◽

Barbara Masucci ◽

Michele Nappi ◽

Chiara Pero

Keyword(s):

Secure Communication ◽

Communication Protocols ◽

Energy Awareness

Download Full-text

Ensuring Secure Communication from an IoT Edge Device to a Server Through IoT Communication Protocols

Advances in Intelligent Systems and Computing - Progress in Advanced Computing and Intelligent Engineering ◽

10.1007/978-981-33-4299-6_28 ◽

2021 ◽

pp. 337-349

Author(s):

Roshni Vidya S. Boolakee ◽

Sandhya Armoogum ◽

Ravi Foogooa ◽

Geerish Suddul

Keyword(s):

Secure Communication ◽

Communication Protocols

Download Full-text

AVISPA versus AVANTSSAR in the Model Checking of Secure Communication Protocols

Proceedings of the 15th International Joint Conference on e-Business and Telecommunications ◽

10.5220/0006887905200525 ◽

2018 ◽

Author(s):

Iulian Aciobanitei ◽

Roxana-Ioana Guinea ◽

Mihai-Lica Pura

Keyword(s):

Model Checking ◽

Secure Communication ◽

Communication Protocols

Download Full-text

Lightweight secure communication protocols for in-vehicle sensor networks

Proceedings of the 2013 ACM workshop on Security, privacy & dependability for cyber vehicles - CyCAR '13 ◽

10.1145/2517968.2517973 ◽

2013 ◽

Author(s):

Miao Xu ◽

Wenyuan Xu ◽

Jesse Walker ◽

Benjamin Moore

Keyword(s):

Sensor Networks ◽

Secure Communication ◽

Communication Protocols ◽

Download Full-text

AVISPA versus AVANTSSAR in the Model Checking of Secure Communication Protocols

Proceedings of the 15th International Joint Conference on e-Business and Telecommunications ◽

10.5220/0006887906860691 ◽

2018 ◽

Author(s):

Iulian Aciobanitei ◽

Roxana-Ioana Guinea ◽

Mihai-Lica Pura

Keyword(s):

Model Checking ◽

Secure Communication ◽

Communication Protocols

Download Full-text

Universally Composable Key Bootstrapping and Secure Communication Protocols for the Energy Internet

IEEE Transactions on Information Forensics and Security ◽

10.1109/tifs.2019.2892005 ◽

2019 ◽

Vol 14 (8) ◽

pp. 2113-2127 ◽

Author(s):

Abubakar Sadiq Sani ◽

Dong Yuan ◽

Wei Bao ◽

Zhao Yang Dong ◽

Branka Vucetic ◽

...

Keyword(s):

Secure Communication ◽

Communication Protocols ◽

Energy Internet

Download Full-text

A Survey on Secure Communication Protocols for IoT Systems

International Journal Of Engineering And Computer Science ◽

10.18535/ijecs/v6i6.41 ◽

2017 ◽

Author(s):

Khaja Moinuddin ◽

◽

Nalavadi Srikantha ◽

Lokesh K S ◽

Aswatha Narayana

Keyword(s):

Secure Communication ◽

Communication Protocols

Download Full-text

Design of database and secure communication protocols for Internet-of-things-based smart home system

TENCON 2017 - 2017 IEEE Region 10 Conference ◽

10.1109/tencon.2017.8228053 ◽

2017 ◽

Author(s):

Trio Adiono ◽

Revie Marthensa ◽

Rahmat Muttaqin ◽

Syifaul Fuada ◽

Suksmandhira Harimurti ◽

...

Keyword(s):

Internet Of Things ◽

Secure Communication ◽

Communication Protocols

Download Full-text