Attack Modeling and Verification for Connected System Security.
Saoussen MiliNga NguyenRachid ChelouahPublished in: SoSE (2018)
Keyphrases
- java card
- security measures
- fault injection
- high security
- network security
- cyber attacks
- security risks
- security issues
- key exchange protocol
- malicious attacks
- security vulnerabilities
- authentication protocol
- countermeasures
- secret key
- security management
- denial of service attacks
- information security
- intrusion detection
- access control
- attack scenarios
- cryptographic protocols
- security level
- computer security
- security mechanisms