On CSP Improvements to David's Digital Library Protocol and Formal Analysis in Internet of Things
WU Ming-hua · 2014
This paper analysed David's digital library protocol used in the Internet of Things,and pointed out the security risks of this protocol.Aiming at the security risks was put forward.this protocol,the way to solve the security risks was put-forward.Using the formal analysis method,the communicating sequential processes(CSP),role of protocol and the attackers were modeled.In the experiments,the new protocol is attacked under Dolev_Yao model by a attacker,but no attacks is finally founded.The experimental results show that the algorithm can effectively solve the security risks of this David's digital library protocol.Mutual authentication protocol role,as well as the security of the session key,and the feasibility of the model are proved.