Agent-based Forensic Investigations with an Integrated Framework. - William J. Buchanan; Jamie Graves; Lionel Saliou; Hussain Al Sebea; Nikos Migas (ECIW, 2005)

Novel Framework for Automated Security Abstraction, Modelling, Implementation and Verification. - Lionel Saliou; William J. Buchanan; Jamie Graves; Jose Munoz (ECIW, 2005)

Network firewall dynamic performance evaluation and formalisation. - Lionel Saliou (2009)