We found a match
Your institution may have rights to this item. Sign in to continue.
- Title
Verification and modeling of IoT time automata for gateway security system.
- Authors
Kamakshi, P.; Bhavani, Y.; Bhaskar, A.; Kumar, B. Kiran; Kumar, T. Mahesh
- Abstract
Internet of Things (IoT) is a multiple heterogeneous network, and its perception layer is often faced with various security threats. As the bridge between the perception layer and the network layer, the IoT gateway should have the security management function to prevent the security issue from spreading to the upper layer. According to the current security deficiencies in IoT gateway, a universal IoT gateway security system was proposed based on the IoT gateway middleware technology. Various security protocols or algorithms are embedded in IoT gateway security system, and the modeling and analysis can help the design and implementation of IoT gateway. The formal modeling and verification of the IoT gateway security system was performed by timed automata. The results show that the IoT gateway security system satisfies the security properties of confidentiality, availability, authenticity, robustness, integrity and freshness.
- Subjects
SECURITY systems; INTERNET of things; SECURITY management; MIDDLEWARE
- Publication
Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2022, Vol 26, Issue 10, p4915
- ISSN
1432-7643
- Publication type
Article
- DOI
10.1007/s00500-022-06897-0