A formal framework (Expression + Analysis) for network security.

Romain Laborde François Barrère Abdelmalek Benzekri

Published in: NCA (2005)

Keyphrases

network security
situation assessment
intrusion detection
computer networks
computer security
query processing
anomaly detection
real time
real world
data analysis
lightweight
network traffic
risk assessment