QUAIL: A Quantitative Security Analyzer for Imperative Code

Keyphrases

• Attacker 100%
• Private Information 100%
• Quantitative Security 100%
• Secret Data 100%
• Security Protocols 50%
• System Behavior 50%
• Randomized Protocol 50%
• Markov Chain Model 50%
• Arbitrary Precision 50%
• Security Analysis 50%

Computer Science

• Attackers 100%
• secret data 100%
• Security Analysis 100%
• Security protocols 50%
• System Behavior 50%
• markov chain model 50%