Login / Signup
Security Weaknesses Detection by Symbolic Analysis of Scenarios.
Boutheina Bannour
Jose Pablo Escobedo
Christophe Gaston
Pascale Le Gall
Gabriel Pedroza
Published in:
APSEC (1) (2014)
Keyphrases
</>
learning algorithm
automatic analysis
data analysis
real time
automated analysis
automatic detection
intrusion detection
statistical analysis
detection method
false positives
network security
false alarms
static analysis
real world
formal analysis
risk analysis
visual analysis
database
security informatics