Formal Specification and Verification of a Selective Defense for TDoS Attacks.
Yuri Gil DantasMarcilio O. O. LemosIguatemi E. FonsecaVivek NigamPublished in: WRLA (2016)
Keyphrases
- formal specification
- model checking
- concurrent systems
- formal methods
- model checker
- ddos attacks
- protocol specification
- defense mechanisms
- temporal logic
- formal verification
- process algebra
- specification languages
- specification language
- java card
- data abstraction
- cryptographic protocols
- countermeasures
- object oriented design
- reverse engineering
- network security
- grid workflow
- asynchronous circuits
- bounded model checking
- computation tree logic
- smart card
- intrusion detection
- data quality
- computer networks
- fine grained
- building blocks
- case study
- web services