Inspec keywords: data flow analysis; authorisation; Internet

Other keywords: control flow analysis; application logic vulnerabilities; annotation-based vulnerability detection approach; security checks; logic vulnerabilities detection; related security policy; vulnerability detection method; common vulnerabilities; ANOVUL

Subjects: Data security; Diagnostic, testing, debugging and evaluating systems