| industrial collaborators: | NetFort Technologies |
| academic collaborators: | University of Nottingham |
| initiated : | 2006/06/12 |
| last updated: | 2009/08/27 |
Data Reduction in Intrusion Alert Correlation
Tedesco, G., Aickelin, U., "Data Reduction in Intrusion Alert Correlation", WSEAS Transactions on Computers Issue 1, Volume 5, January 2006. ISSN 1109-2750.
[more]
Strategic Alert Throttling for Intrusion Detection Systems
Tedesco, G., Aickelin, U., "Strategic Alert Throttling for Intrusion Detection Systems", 4th WSEAS International Conference on Information Security, Communications and Computers, 2005.
[more]
Situation Calculus
As part of this project, applications of situation calculus are being investigated for modelling threats to computer networks. The situation calculus is a logical formalism for modelling the kind of causal information needed for correlating alerts from network intrusion detection systems. This calculus was originally developed in 1969 by Patrick Hayes and John McCarthy to create a database of basic common sense knowledge that could be used by any number of diverse programs to increase their utility to human users.
[more]