Analysing the Impact of Security Attacks on Safety Using SysML and Event-B.
Ehsan PoorhadiElena TroubitsynaGyörgy DánPublished in: IMBSA (2022)
Keyphrases
- safety analysis
- security threats
- security mechanisms
- fault injection
- security problems
- fault model
- java card
- security protocols
- cyber attacks
- security issues
- computer security
- countermeasures
- security measures
- malicious attacks
- information security
- security breaches
- chosen plaintext
- security vulnerabilities
- security flaws
- stream cipher
- security risks
- denial of service attacks
- cryptographic protocols
- malicious users
- access control
- secure routing
- safety critical
- security requirements
- network security
- insider attacks
- smart card
- key management
- formal methods
- event detection
- buffer overflow
- cryptographic algorithms
- unauthorized access
- advanced encryption standard
- ddos attacks
- intrusion detection and prevention
- security management
- biometric template
- malicious nodes
- attack detection
- nuclear power plant
- block cipher
- dos attacks
- security policies
- anomaly detection