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: 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

Efficient authentication scheme for double-layer satellite network by Hui ZHU, Heng WU, Haiqiang ZHAO, Yuqing ZHAO, Hui LI

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…”
Get full text

SIM: a secure IP protocol for MANET by Rong-sen LI, Wen-hua DOU

Subjects: Get full text