| Smart grid consists of a large number of smart devices that measure electricity data in real time and transmit information over a communications network.Bidirectional communication is an important feature of smart grid.It not only assists the interaction between the devices of the power grid,but also brings information security risks and privacy problems to the power grid.Information security is the basis of smart grid operation,and authentication technology is a key technology to ensure information security.This dissertation mainly researches and designs the authentication protocol of smart meters for smart grid,and the details are as follows:(1)This dissertation makes a detailed security analysis of Mahmood et al.designed anonymous two-party authentication protocol for smart meters based on bilinear pair,Wu et al.designed anonymous two-party authentication protocol and Mahmood et al.designed identity based anonymous two-party authentication protocol,points out the security defects of each authentication protocol that have not been discovered,and summarizes the security requirements that are easy to be ignored by the protocols,such as anonymity,known session specific temporary information security and resistance of privileged-insider attack.(2)According to the security requirements of communication between smart meters and utility control,an anonymous two-party authentication protocol based on identity technology is designed for smart meters.Authentication of the protocol uses an identity-based cryptography system,which is modified at the registration stage to protect against internal threats.Vital information is packaged for transmission to provide anonymity and improve security.To improve the comprehensive performance of the smart meter side by simplifying the authentication operation of the smart meter side.Session key is constructed from multiple data,including longterm data,temporary data,etc.,to provide session key confidentiality and ensure subsequent communication security.(3)An anonymous three-party authentication protocol based on chaotic mapping is designed for smart meters according to the security requirements of mobile devices accessing smart meters.This protocol uses chaotic mapping,hash function,symmetric cryptographic system and so on.Symmetrical cryptographic system is used to ensure the security and privacy of transmitted information.Mutual authentication is achieved by verifying the hash function value.Chaotic mapping is used to facilitate the construction of session key and provide confidentiality.(4)This dissertation conducts a detailed security analysis of the authentication protocols designed above,including BAN logic proof that verify the correctness of the protocol,security model proves that the protocol is semantically secure,Pro Verif tool analyzes that simulates the protocol operation and verifies the security of the protocol,informal security analysis that fully discuss the satisfied security requirements of the protocol.The analysis results show that the two smart meter authentication protocols designed in this dissertation are secure enough.(5)Comprehensive performance analysis and comparison are made between the above designed authentication protocols and the existing protocols of the same type,including security performance comparison,computing cost comparison and communication cost comparison.The results show that the two smart meter authentication protocols designed in this dissertation have good comprehensive performance and practicability. |