Retraction Note: Verification and modeling of IoT time automata for gateway security system.
P. KamakshiY. BhavaniA. BhaskarB. Kiran KumarT. Mahesh KumarPublished in: Soft Comput. (2023)
Keyphrases
- high security
- management system
- security problems
- information security
- cellular automata
- model checking
- security requirements
- finite state
- integrity verification
- security level
- data security
- security analysis
- key management
- security mechanisms
- regular expressions
- network security
- big data
- monitoring system
- access control