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

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

Multi-language oriented automatic realization method for cryptographic protocols by Xing-hua LI, Shuai-tuan LI, Deng LI, Jian-feng MA

Subjects: “…security protocol…”
Get full text

SSMCI:verification mechanism for security protocols centered on the attacker by Wen GU, Ji-hong HAN, Lin YUAN

Subjects: “…security protocol…”
Get full text

Research on the data link layer secure protocol of TES network based on ECC by WU Zhi-jun, KAN Hong-tao

Subjects: Get full text

Security issues and system structure of internet of vehicles by Liang-min WANG, Ting-ting LI, Long CHEN

Subjects: Get full text

Design and validation for a remote attestation security protocol by WANG Dan, WEI Jin-feng, ZHOU Xiao-dong

Subjects: Get full text

Collusion-resistant cross-chain transaction scheme based on game theory and verifiable consensus by JIA Xuedan, WANG Liangmin, HUANG Longxia

Subjects: Get full text

IKEChecker: grammar-guided stateful fuzzer for IKE protocol implementions by ZHENG Yonghui, ZHAO Dongliang, GU Chunxiang, ZHANG Xieli

Subjects: “…security protocol…”
Get full text

Survey on privacy protection indoor positioning by Zhiheng WANG, Yanyan XU

Subjects: Get full text

Software services protection security protocol based on software watermarking in cloud environment by Jin-chao XU, Guo-sun ZENG, Wei WANG

Subjects: Get full text

5G-based smart airport network security scheme design and security analysis by Xinxin XING, Qingya ZUO, Jianwei LIU

Subjects: Get full text

Trusted digital rights management protocol supporting for time and space constraint by MA Zhao-feng1, FAN Ke-feng2, CHEN Ming1, YANG Yi-xian1, NIU Xin-xin1

Subjects: Get full text

New remote authorization protocol for vehicle diagnosis by Zheng-da JIAO, Jian-feng MA, Cong SUN, Qing-song YAO

Subjects: “…security protocol…”
Get full text

Security protocol code analysis method combining model learning and symbolic execution by Xieli ZHANG, Yuefei ZHU, Chunxiang GU, Xi CHEN

Subjects: Get full text

Improvement and formal proof on protocol Otway-Rees by Lai-feng LU, Xin-dong DUAN, Jian-feng MA

Subjects: “…security protocol…”
Get full text

Security analysis of security protocol Swift implementations based on computational model by Bo MENG, Xudong HE, Jinli ZHANG, Lili YAO, Jintian LU

Subjects: “…security protocol…”
Get full text