Multi Sensor Data Fusion for Threat Analysis in Computer Security

industrial collaborators:	NetFort Technologies
academic collaborators:	University of Nottingham
initiated :	2006/06/12
last updated:	2009/08/27

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.

Further information is available at here.

 

related resources:

	Multi Sensor Data Fusion for Threat Analysis in Computer Security
	Further reading - Data Reduction in Intrusion Alert Correlation - Strategic Alert Throttling for Intrusion Detection Systems » Situation Calculus

other projects:

[Find other Information and Communication Technology projects]

[Find other CASE studentship projects]