Analysis and improvement for authentication protocols of mobile ad hoc network with CSP approach by Li-cai LIU, Li-hua YIN, Yun-chuan GUO, Yan SUN

Subjects: Get full text

Adjusted automata learning algorithm for security protocol adaptive model checking by Jing YANG, Dan FAN, Yu-qing ZHANG

Subjects: “…security protocol…”
Get full text

Formal modeling and security analysis method of security protocol based on CPN by Xiang GONG, Tao FENG, Jinze DU

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

Research on certificateless anonymous authentication and key agreement scheme of vehicle network based on CPN by ZHENG Lu, FENG Tao, SU Chunhua

Subjects: Get full text

Challenges and key technologies of new Ethernet for intelligent computing center by DUAN Xiaodong, LI Jieyu, CHENG Weiqiang, LI Han, WANG Ruixue, WANG Haojie

Subjects: Get full text