A Verification Method for Security and Safety of IoT Applications Through DSM Language and Lustre.
Wentao TangHao FengKenji HisazumiAkira FukudaPublished in: ICISS (2020)
Keyphrases
- verification method
- model checking
- security problems
- programming language
- temporal logic
- security issues
- cloud computing
- information security
- language learning
- security mechanisms
- intrusion detection
- security requirements
- key management
- natural language
- data security
- rfid systems
- management system
- access control
- security policies
- specification language
- network security
- security systems
- smart card
- security threats
- statistical databases
- context aware