QUAIL: A Quantitative Security Analyzer for Imperative Code.
Fabrizio BiondiAxel LegayLouis-Marie TraonouezAndrzej WasowskiPublished in: CAV (2013)
Keyphrases
- information security
- network security
- source code
- security systems
- security issues
- java card
- qualitative and quantitative
- protection scheme
- static analysis
- security management
- access control
- security problems
- security threats
- security level
- information assurance
- data security
- security protocols
- computer security
- key management
- security requirements
- security policies
- data acquisition
- intrusion detection
- security mechanisms
- elliptic curve
- statistical databases
- quantitative and qualitative
- software engineering
- real time