Formal Analysis of Security Protocol in Internet of Things
Xiaohui Cheng · Journal of Guilin University of Technology · 2013
For the security of Internet of Things and the mistakes in non-formal method analysis,the secure communication protocol of the Internet of Things is presented.The master model and the attacker model of the protocol are established.Formal analysis method of CSP is used to analyse the protocol.The protocol message is encrypted by the method which is constructed by the combination of Hash function and XOR.The master of each protocol is mutually certified.When certified,the session key is assigned to the master of the protocol and then the problem that reader illegall scanning and the security of information transmission would be solved.The investigations of the experiment,which is conducted by FDR to detect the CSP of the model,shows that the mutual authentication and the session key of the master of the protocol are safe.The formal method based on the CSP could analyse the security of the protocol effectively.The proposed communication protocol of the Internet of Things is safe and reliable,and the security of the CSP formal analysis method is feasible.