{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:47:01Z","timestamp":1725515221522},"publisher-location":"Boston, MA","reference-count":8,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387096988"},{"type":"electronic","value":"9780387096995"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-09699-5_41","type":"book-chapter","created":{"date-parts":[[2008,7,16]],"date-time":"2008-07-16T14:12:54Z","timestamp":1216217574000},"page":"637-651","source":"Crossref","is-referenced-by-count":4,"title":["DigForNet: Digital Forensic in Networking"],"prefix":"10.1007","author":[{"given":"Slim","family":"Rekhis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jihene","family":"Krichene","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Noureddine","family":"Boudriga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"41_CR1","doi-asserted-by":"crossref","unstructured":"P.D. Dixon. An overview of computer forensics. IEEE Potentials, 24(5):7\u201310, dec 2005.","DOI":"10.1109\/MP.2005.1594001"},{"key":"41_CR2","unstructured":"Pavel Gladyshev. Finite State Machine Analysis of a Blackmail Investigation. International Journal of Digital Evidence, 4(1), May 2005."},{"key":"41_CR3","unstructured":"Mohamed Hamdi, Jihene Krichene, and Noureddine BOUDRIGA. Collective computer incident response using cognitive maps. In Proceedings of IEEE conference on Systems, Man, and Cybernetics (IEEE SMC 2004), The Hargue, Netherland, October 10-13 2004."},{"issue":"3","key":"41_CR4","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"Lamport. Leslie","year":"1994","unstructured":"Leslie Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3):872\u2013923, May 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"41_CR5","doi-asserted-by":"crossref","unstructured":"Slim REKHIS and Noureddine BOUDRIGA. A temporal logic-based model for forensic investigation in networked system security. In LNCS 3685 Springer Verlag, editor, Third International Workshop Mathematical Methods, Models and Architectures for Computer Networks Security, pages 325\u2013338, St. Petersburg, Russia, September 2005.","DOI":"10.1007\/11560326_25"},{"key":"41_CR6","doi-asserted-by":"crossref","unstructured":"Slim REKHIS and Noureddine BOUDRIGA. A formal approach for the reconstruction of potential attack scenarios. In Proceedings of the International Conference on Information & Communication Technologies: from Theory to Applications (ICTTA), Damascus, Syria, April 2008.","DOI":"10.1109\/ICTTA.2008.4530278"},{"key":"41_CR7","doi-asserted-by":"crossref","unstructured":"Tye Stallard and Karl Levitt. Automated analysis for digital forensic science: Semantic integrity checking. In Proceedings of the 19th Annual Computer Security Applications Conference, Las Vegas, Nevada, USA, December 2003.","DOI":"10.1109\/CSAC.2003.1254321"},{"issue":"2","key":"41_CR8","first-page":"1","volume":"2","author":"Stephenson. Peter","year":"2003","unstructured":"Peter Stephenson. Modeling of post-incident root cause analysis. International Journal of Digital Evidence, 2(2):1\u201316, 2003.","journal-title":"International Journal of Digital Evidence"}],"container-title":["IFIP \u2013 The International Federation for Information Processing","Proceedings of The Ifip Tc 11 23rd International Information Security Conference"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-09699-5_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:45:47Z","timestamp":1619559947000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-09699-5_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387096988","9780387096995"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-09699-5_41","relation":{},"ISSN":["1571-5736"],"issn-type":[{"type":"print","value":"1571-5736"}],"subject":[]}}