{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:26:22Z","timestamp":1725549982311},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291138"},{"type":"electronic","value":"9783540319986"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560326_25","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:29:26Z","timestamp":1127831366000},"page":"325-338","source":"Crossref","is-referenced-by-count":6,"title":["A Temporal Logic-Based Model for Forensic Investigation in Networked System Security"],"prefix":"10.1007","author":[{"given":"Slim","family":"Rekhis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Noureddine","family":"Boudriga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","volume-title":"Computer Forensics : Incident Response Essentials","author":"W.G. Kruse","year":"2001","unstructured":"Kruse, W.G., Heiser, J.G.: Computer Forensics: Incident Response Essentials. Pearson Education, London (2001)"},{"key":"25_CR2","unstructured":"Stephenson, P.: Modeling of post-incident root cause analysis. International Journal of Digital Evidence\u00a02(2) (2003)"},{"key":"25_CR3","unstructured":"Elsaesser, C., Tanner, M.C.: Automated diagnosis for computer forensics. tech. rep., The MITRE Corporation (2001)"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Stallard, T., Levitt, K.: Automated analysis for digital forensic science: Semantic integrity checking. In: Proceedings of the 19th Annual Computer Security Applications Conference (2003)","DOI":"10.1109\/CSAC.2003.1254321"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Rekhis, S., Boudriga, N.: A Formal Logic-based Language and an Automated Verification Tool For Computer Forensic Investigation. In: Proceedings of the 20th ACM Symposium on Applied Computing (SAC 2005) (2005)","DOI":"10.1145\/1066677.1066745"},{"key":"25_CR6","volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","author":"L. Lamport","year":"2002","unstructured":"Lamport, L.: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, Reading (2002)"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Yu, Y., Manolios, P., Lamport, L.: Model checking TLA+ specifications. In: Conference on Correct Hardware Design and Verification Methods, pp. 54\u201366 (1999)","DOI":"10.1007\/3-540-48153-2_6"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Keppens, J., Zeleznikow, J.: A model based reasoning approach for generating plausible crime scenarios from evidence. In: Proceedings of the 9th International Conference on Artificial Intelligence and Law (2003)","DOI":"10.1145\/1047788.1047796"},{"key":"25_CR9","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: The temporal logic of actions. ACM Transactions on Programming Languages and Systems\u00a016, 872\u2013923 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2","key":"25_CR10","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"de Kleer, J.: An assumption-based TMS. Artificial Intelligence\u00a028(2), 127\u2013162 (1986)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Computer Network Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560326_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:12:53Z","timestamp":1619507573000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560326_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291138","9783540319986"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/11560326_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}