Sound static analysis of regular expressions for vulnerabilities to denial of service attacks.
Francesco ParoliniAntoine MinéPublished in: Sci. Comput. Program. (2023)
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
- xml schema
- lightweight
- ddos attacks
- matching algorithm
- query evaluation
- information security
- regular path queries
- security issues
- security mechanisms
- database
- computer systems
- network security
- xml data
- security requirements
- data model
- real world