|
Currently, more and more research networking, networking and social development in the future more and more widely, with a variety of networking hardware and application software development and research, networking and security issues are also highlighted how Things communication on the subject authentication, how to secure confidential data transmission, which is an urgent need to study and resolve application requirements. The subject of the communication security protocol authentication, key distribution and digital signatures, and played an important role, but the security of the security protocol design, analysis and certification of information security has long been a focus of the study and difficult problems, as new means of attack, and new technologies are emerging, security protocol design, analysis and certification are constantly receiving new challenges. In this paper, the current comparator accepted concepts and architecture of things, based on sensor network for networking security protocols formalized design, analysis and prove a study, the main work is: 1, through the analysis of the current more generally accepted concept of networking and architecture of the Internet of Things architecture and traditional network architectures are analyzed comparison, the sensor network networking features and security attributes; 2, according to the characteristics of things and sensor network security attributes for objects proposed networked sensor network attacker models: 3, according to the characteristics of things and sensor network security attributes, presents a wireless network based on Internet of Things sensor network SNIT (The Sensing Network of the Internet of Things) model; 4, For SNIT model to abstract the subject of the communication proposes a protocol-based formal design element method to select the first element of the agreement and design, and its model-based UM strike security attributes, SK proof; 5 , proposed a model for SNIT SNIT protocol that initiates communications requests based on the body's communication office meeting is divided into different SNIT SNIT_C, SNIT_S_ three protocols, and the three protocols formal description and modeling of the attacker; 6, using CSP protocol for SNIT formal analysis and model validation; 7, using strand space theory SNIT agreement theorem proving, infinite state space model of reasoning, model validation can accomplish solve the state space explosion problem; short, This paper presents the formal security protocol design, analysis and certification compared to traditional non-formal design and analysis, with a strong mathematical theory, can guarantee the attacker model have attacked the reliability of security protocols under conditions , confidentiality and data consistency.
|