Stochastic-based Semantics Of Attack-Defense Trees For Security Assessment.
Karim LounisPublished in: Electron. Notes Theor. Comput. Sci. (2018)
Keyphrases
- defense mechanisms
- network security
- cyber attacks
- intrusion detection
- cyber defense
- security measures
- dos attacks
- ddos attacks
- countermeasures
- risk assessment
- security vulnerabilities
- information security
- denial of service attacks
- cyber security
- key exchange protocol
- decision trees
- malicious users
- security analysis
- formal semantics
- fault injection
- authentication protocol
- security problems
- authentication mechanism
- security management
- security risks
- malicious attacks
- security requirements
- abstract argumentation
- security policies
- information warfare
- tree structure
- logic programming
- attack detection
- security threats
- computer security
- security issues
- network traffic
- intrusion detection system
- semantic information
- java card
- information leakage
- user authentication
- encryption algorithm
- elliptic curve
- attack scenarios
- key agreement