A temporal logic-based model for forensic investigation in networked system security

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3685 LNCS, Issue , 2005, Pages 325-338

  Rekhis, Slim ^a   Boudriga, Noureddine ^a  

^a UNIVERSITY OF CARTHAGE   (Tunisia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; FORMAL LOGIC; MATHEMATICAL MODELS; SPECIFICATIONS;

DIGITAL FORENSIC INVESTIGATION; FORENSIC INVESTIGATION; PROCEDURAL GUIDELINES; SEMI-AUTOMATION TOOLS;

SECURITY OF DATA;

EID: 33646162634     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11560326_25     Document Type: Conference Paper

References (10)

1. Kruse, W.G., Heiser, J.G.: Computer Forensics: Incident Response Essentials. Peaxson Education (2001)
2. Stephenson, P.: Modeling of post-incident root cause analysis. International Journal of Digital Evidence, Vol. 2, No. 2 (2003)
3. Elsaesser, C., Tanner, M.C.: Automated diagnosis for computer forensics. tech. rep., The MITRE Corporation (2001)
4. Stallard, T., Levitt, K.: Automated analysis for digital forensic science: Semantic integrity checking. Proceedings of the 19th Annual Computer Security Applications Conference (2003)
5. Rekhis, S., Boudriga, N.: A Formal Logic-based Language and an Automated Verification Tool For Computer Forensic Investigation. Proceedings of the 20th ACM Symposium on Applied Computing (SAC 2005) (2005)
6. + Language and Tools for Hardware and Software Engineers. Addison-Wesley (2002)
7. + specifications. Conference on Correct Hardware Design and Verification Methods (1999) 54-66
8. Keppens, J., Zeleznikow, J.: A model based reasoning approach for generating plausible crime scenarios from evidence. Proceedings of the 9th International Conference on Artificial Intelligence and Law (2003)
9. Lamport, L.: The temporal logic of actions. ACM Transactions on Programming Languages and Systems, Vol. 16 (1994) 872-923
10. de Kleer, J.: An assumption-based TMS. Artificial Intelligence, Vol. 28, No. 2 (1986) 127-162