Security and Safety Verification in IoT Apps.
Lobna AbuserriehManar H. AlalfiPublished in: ICSME (2023)
Keyphrases
- high security
- security problems
- java card
- integrity verification
- cryptographic protocols
- key management
- security issues
- security requirements
- access control
- information security
- intrusion detection
- high assurance
- management system
- network security
- safety analysis
- security policies
- model checking
- cloud computing
- formal methods
- security analysis
- formal verification
- sensitive data
- security systems
- authentication protocol
- safety critical
- mobile computing
- computer networks
- data management