With the development of Internet of Things (IoT) technology, the demand for secure
communication by smart devices has dramatically increased, and the security of the IoT …

Owing to the rapid development of information security technology, the security analysis of
encryption protocols has received widespread attention. In this paper, we propose a stateful …

Remote SIM provisioning (RSP) for consumer devices is the protocol specified by the GSM
Association for downloading SIM profiles into a secure element in a mobile device. The …

As a newly proposed secure transport protocol, QUIC aims to improve the transport
performance of HTTPS traffic and enable rapid deployment and evolution of transport …

Owing to the advent and rapid development of Internet communication technology, network
security protocols with cryptography as their core have gradually become an important …

Process management deals with processor mechanisms to execute the processes.
Nowadays an efficient process management algorithm is necessary for the efficient load …

The volume of air traffic increases dramatically and the air traffic control system is a safety
critical system. Failure of the system can cause loss of human life, cost, and hard work of …

The volume of air traffic increase dramatically and safety of air traffic systems are becoming
critical issue day by day. Failure of system can cause loss of human life, cost and hard work …

The verification of security protocols is an important basis for network security. Now, some
security protocols add timestamps to messages to defend against replay attacks by network …

Currently, there is relatively little formal analysis and verification work on the 5G EAP-TLS
authentication protocol. In this paper, we use the model checker SPIN to perform a formal …