VerificationTalk: A Verification and Security Mechanism for IoT Applications.
Min-Zheng ShiehYi-Bing LinYing Jui HsuPublished in: Sensors (2021)
Keyphrases
- security mechanisms
- security problems
- resource constrained
- security issues
- security systems
- access control
- management system
- smart card
- security requirements
- operating system
- model checking
- security protocols
- cloud computing
- big data
- rfid tags
- information security
- rfid systems
- security measures
- data sets
- artificial intelligence
- shortest path
- data analysis
- information systems