Key Agreement and Authentication Protocols in the Internet of Things: A Survey by Sabina Szymoniak, Shalini Kesar

Subjects: Get full text

CRYPTOGRAPHIC PROTOCOLS SPECIFICATION AND VERIFICATION TOOLS - A SURVEY by Amol H Shinde, A J Umbarkar, N R Pillai

Subjects: Get full text

Enhancing Data Security Through VLSM Subnetting and TCP/IP Model in an ENT by Caxton Okoh, Waba Nasali Theophilus, Paul Dawkins, Sebamalai Paheerathan

Subjects: Get full text

A Provable Secure Session Key Distribution Protocol Based on NSSK for In-Vehicle CAN Network by Long Yin, Jian Xu, Zihao Wang, Chen Wang

Subjects: Get full text

<i>RootLogChain</i>: Registering Log-Events in a Blockchain for Audit Issues from the Creation of the Root by Juan Carlos López-Pimentel, Luis Alberto Morales-Rosales, Raúl Monroy

Subjects: Get full text

Formal analysis of modern security protocols in current standards by Horvat, M

Subjects:

Computationally sound mechanized proofs for Diffie-Hellman key exchange protocols by FENG Chao, ZHANG Quan, TANG Chao-jing

Subjects: “…security protocols…”
Get full text

Analysis and improvement of sensor networks security protocol by YAN Li-li1, PENG Dai-yuan1, GAO Yue-xiang1

Subjects: “…wireless sensor networks;security protocols;formal analysis;strand spaces…”
Get full text

Analysis and improvement of sensor networks security protocol by YAN Li-li1, PENG Dai-yuan1, GAO Yue-xiang1

Subjects: Get full text

Computationally sound mechanized proofs for Diffie-Hellman key exchange protocols by FENG Chao, ZHANG Quan, TANG Chao-jing

Subjects: “…security protocols;Diffie-Hellman primitives;Kerberos protocol;mechanized proofs…”
Get full text

Quantitative analysis of the security performance in wireless LANs by Poonam Jindal, Brahmjit Singh

Subjects: Get full text

SAT and SMT-Based Verification of Security Protocols Including Time Aspects by Sabina Szymoniak, Olga Siedlecka-Lamch, Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Miroslaw Kurkowski

Subjects: “…security protocols…”
Get full text

Secure Plug-in Electric Vehicle (PEV) Charging in a Smart Grid Network by Khaled Shuaib, Ezedin Barka, Juhar Ahmed Abdella, Farag Sallabi, Mohammed Abdel-Hafez, Ala Al-Fuqaha

Subjects: Get full text

Defense and Security Mechanisms in the Internet of Things: A Review by Sabina Szymoniak, Jacek Piątkowski, Mirosław Kurkowski

Subjects: Get full text

Security Verification in the Context of 5G Sensor Networks by Piotr Remlein, Urszula Stachowiak

Subjects: Get full text

Methodology of Testing the Security of Cryptographic Protocols Using the CMMTree Framework by Jacek Piątkowski, Sabina Szymoniak

Subjects: Get full text

Energy Saving Chaotic Sequence Based Encryption, Authentication and Hashing for M2M Communication of IoT Devices by Bartosz Kościug, Piotr Bilski

Subjects: Get full text

The blockchain: a new framework for robotic swarm systems by Castelló Ferrer, Eduardo

Subjects: Get full text

SAT-based lazy formal analysis method for security protocols by Chun-xiang GU, Huan-xiao WANG, Yong-hui ZHENG, Dan XIN, Nan LIU

Subjects: “…security protocols;formalization analysis;Boolean satisfiability problem;lazy analyze;type flaw attack…”
Get full text

SAT-based lazy formal analysis method for security protocols by Chun-xiang GU, Huan-xiao WANG, Yong-hui ZHENG, Dan XIN, Nan LIU

Subjects: “…security protocols…”
Get full text