Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees.
Stylianos BasagiannisPanagiotis KatsarosAndrew PombortsisPublished in: SAFECOMP (2007)
Keyphrases
- model checking
- malicious users
- denial of service attacks
- intrusion detection
- attack scenarios
- network security
- temporal logic
- alert correlation
- dos attacks
- intrusion detection system
- partial order reduction
- formal verification
- finite state
- symbolic model checking
- formal specification
- model checker
- automated verification
- temporal properties
- reachability analysis
- finite state machines
- computation tree logic
- epistemic logic
- bounded model checking
- transition systems
- pspace complete
- process algebra
- timed automata
- concurrent systems
- verification method
- asynchronous circuits
- formal methods
- modal logic
- alternating time temporal logic
- anomaly detection
- artificial intelligence
- ddos attacks
- information flow