Sound Static Analysis of Regular Expressions for Vulnerabilities to Denial of Service Attacks.
Francesco ParoliniAntoine MinéPublished in: TASE (2022)
Keyphrases
- regular expressions
- static analysis
- denial of service attacks
- denial of service
- dos attacks
- dynamic analysis
- pattern matching
- security threats
- intrusion detection system
- query language
- security issues
- network security
- ddos attacks
- xml schema
- information security
- matching algorithm
- regular path queries
- lightweight
- security mechanisms
- query evaluation
- source code
- data sets
- countermeasures
- computer networks
- databases