Verification and modeling of IoT time automata for gateway security system.
P. KamakshiY. BhavaniA. BhaskarB. Kiran KumarT. Mahesh KumarPublished in: Soft Comput. (2022)
Keyphrases
- high security
- security problems
- management system
- key management
- java card
- security issues
- cloud computing
- model checking
- integrity verification
- colored petri nets
- security policies
- monitoring system
- security requirements
- data security
- formal verification
- security level
- finite state machines
- network security
- petri net