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

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

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

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

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

Subjects: Get full text