A Formal Assisted Approach for Modeling and Testing Security Attacks in IoT Edge Devices.
A. BhanpurawalaK. El-FakihImran A. ZualkernanPublished in: CoRR (2022)
Keyphrases
- security problems
- fault injection
- computer security
- security protocols
- security threats
- security mechanisms
- java card
- denial of service attacks
- security vulnerabilities
- security measures
- cyber attacks
- security risks
- stream cipher
- security issues
- cryptographic protocols
- key management
- security requirements
- information security
- malicious users
- access control
- mobile devices
- chosen plaintext
- security breaches
- test cases
- intrusion detection
- edge detection
- management system
- countermeasures
- formal model
- malicious attacks
- fault model
- identity theft
- smart card
- context aware