Improving Computer Security Using Extended Static Checking.

Published in: IEEE Symposium on Security and Privacy (2002)

Keyphrases

computer security
anomaly detection
computer systems
intrusion detection
information security
network security
network intrusion detection
intrusion detection system
machine learning
information systems
feature extraction
reinforcement learning
semi supervised
multi class