Automated security test generation for MQTT using attack patterns.
Hannes SochorFlavio FerrarottiRudolf RamlerPublished in: ARES (2020)
Keyphrases
- test generation
- test cases
- security vulnerabilities
- key exchange protocol
- static analysis
- symbolic execution
- security measures
- cyber attacks
- security issues
- information security
- test sequences
- countermeasures
- denial of service attacks
- intrusion detection
- authentication protocol
- design automation
- security requirements
- access control
- data sets
- attack scenarios
- code coverage
- encryption algorithm
- cyber security
- network security
- error rate
- query language