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

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

Subjects: “…trusted computing;remote attestation;security protocol;CSP…”
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

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

A hybrid security protocol based on honey encryption and hyperchaotic systems for improving security in internet of things by Weimeng Wang, Chengliang Liu, Weiqiao Zhu, Chenhui Xie

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

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

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;implementations security;Swift language;formal analysis;model extraction…”
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

Rules of Engagement as an Example of a Security Protocol Constituting a “Code of Conduct” in Military Operations by Marcin Marcinko

Subjects: Get full text

Rules of Engagement as an Example of a Security Protocol Constituting a “Code of Conduct” in Military Operations by Marcin Marcinko

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

Solvability and Nilpotency of Lie Algebras in Cryptography and Steganography by Amor Hasić, Melisa Azizović, Emruš Azizović, Muzafer Saračević

Subjects: Get full text

Security protocol of wireless sensor networks localization: analysis and performance by Omar Faruq, Fariha Ahmad Chowdhury, Abu Sazzad Md Parvez, Narayan Chandra Nath, Preanka Kabiraj

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

Property-Based Testing for Cybersecurity: Towards Automated Validation of Security Protocols by Manuel J. C. S. Reis

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