Authenticated key agreement (AKA) protocols enable two parties agreeing on a session key over a public network in secure and authenticated manner. With a rapid development of WiMAX network, network security becomes an important issue and how to design a secure AKA protocol is not only a work of great realistic significance, but also has
(Read More…)
Security protocol is a kind of application layer protocol, it packs communication entity, puts on the suit of armour, prevents the attacker from stealing the sensitive data, guarantees the integrality of the communication content. Different application demands have put forward the new request for the design of security protocol, such as group communication, anonymous communication,
(Read More…)
A safe cryptographic protocol is one of absolutely necessary components of the communication of networks and its applications, and it is the basis of composing information security systems. The main tasks of Protocol Engineering (PE) include designing safe and efficient cryptographic protocols. In the procedures of PE, which include design, description (modeling), verification, performance analysis,
(Read More…)
Working as a kind of kernel technology for the secure network communication, the security protocols are the foundation in building up a safe internet environment. Therefore, the correctness and security of protocols play a crucial role in network environment. However, it remains to be solved on the security and design of the protocols to better
(Read More…)
