Research of formal establish security protocol attacker model in communicating sequential processes
Junli Li · Yunnan Daxue xuebao. Shehui kexue ban · 2013
This paper focused on formal establishment of the Internet of things security protocol attacker ability using communicating sequential processes(CSP),and used a case of the Internet of things security protocol to analyze the attacker's aggression,which was based on the current researches of Dolev-Yao attacker model.The process of attack can test the collapse reasons of the protocol,and laid the formal security foundations for automatic analysis of security protocol.