A model-based attack injection approach for security validation.
Anderson Nunes Paiva MoraisAna R. CavalliEliane MartinsPublished in: SIN (2011)
Keyphrases
- security measures
- security vulnerabilities
- cyber attacks
- key exchange protocol
- fault injection
- denial of service attacks
- countermeasures
- information security
- authentication protocol
- authentication mechanism
- encryption algorithm
- dos attacks
- security properties
- information leakage
- key agreement
- security threats
- malicious users
- security policies
- intrusion detection
- security requirements
- security issues
- denial of service
- access control
- security risks
- computer security
- network security
- block cipher
- malicious attacks
- attack scenarios
- java card
- ddos attacks
- security mechanisms
- biometric systems
- rfid tags
- lightweight
- information systems
- defense mechanisms