{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:26:36Z","timestamp":1725542796198},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642355141"},{"type":"electronic","value":"9783642355158"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35515-8_23","type":"book-chapter","created":{"date-parts":[[2012,11,22]],"date-time":"2012-11-22T16:36:13Z","timestamp":1353602173000},"page":"282-296","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning About a Simulated Printer Case Investigation with Forensic Lucid"],"prefix":"10.1007","author":[{"given":"Serguei A.","family":"Mokhov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joey","family":"Paquet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mourad","family":"Debbabi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Gladyshev, P., Patel, A.: Finite state machine approach to digital event reconstruction. Digital Investigation Journal\u00a02(1) (2004)","DOI":"10.1016\/j.diin.2004.03.001"},{"key":"23_CR2","unstructured":"Gladyshev, P.: Finite state machine analysis of a blackmail investigation. International Journal of Digital Evidence\u00a04(1) (2005)"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Ashcroft, E.A., Wadge, W.W.: Lucid \u2013 a formal system for writing and proving programs. SIAM J. Comput.\u00a05(3) (1976)","DOI":"10.1137\/0205029"},{"issue":"1","key":"23_CR4","first-page":"200","volume":"6","author":"E.A. Ashcroft","year":"1977","unstructured":"Ashcroft, E.A., Wadge, W.W.: Erratum: Lucid \u2013 a formal system for writing and proving programs. SIAM J. Comput.\u00a06(1), 200 (1977)","journal-title":"SIAM J. Comput."},{"key":"23_CR5","volume-title":"Lucid, the Dataflow Programming Language","author":"W.W. Wadge","year":"1985","unstructured":"Wadge, W.W., Ashcroft, E.A.: Lucid, the Dataflow Programming Language. Academic Press, London (1985)"},{"key":"23_CR6","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195075977.001.0001","volume-title":"Multidimensional Programming","author":"E.A. Ashcroft","year":"1995","unstructured":"Ashcroft, E.A., Faustini, A.A., Jagannathan, R., Wadge, W.W.: Multidimensional Programming. Oxford University Press, London (1995) ISBN: 978-0195075977"},{"key":"23_CR7","unstructured":"Lalement, R.: Computation as Logic. Prentice Hall (1993); C.A.R. Hoare Series Editor. English translation from French by John Plaice"},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1109\/COMPSAC.2009.137","volume-title":"Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2009)","author":"J. Paquet","year":"2009","unstructured":"Paquet, J.: Distributed eductive execution of hybrid intensional programs. In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2009), pp. 218\u2013224. IEEE Computer Society, Seattle (2009)"},{"key":"23_CR9","first-page":"1266","volume-title":"Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC)","author":"J. Plaice","year":"2008","unstructured":"Plaice, J., Mancilla, B., Ditu, G., Wadge, W.W.: Sequential demand-driven evaluation of eager TransLucid. In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC), pp. 1266\u20131271. IEEE Computer Society, Turku (2008)"},{"key":"23_CR10","first-page":"1272","volume-title":"Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC)","author":"T. Rahilly","year":"2008","unstructured":"Rahilly, T., Plaice, J.: A multithreaded implementation for TransLucid. In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC), pp. 1272\u20131277. IEEE Computer Society, Turku (2008)"},{"key":"23_CR11","unstructured":"The GIPSY Research and Development Group: The General Intensional Programming System (GIPSY) project. Department of Computer Science and Software Engineering.Concordia University, Montreal (2002\u20132012), http:\/\/newton.cs.concordia.ca\/~gipsy\/ (last viewed February 2010)"},{"key":"23_CR12","unstructured":"Ding, Y.: Automated translation between graphical and textual representations of intensional programs in the GIPSY. Master\u2019s thesis, Department of Computer Science and Software Engineering. Concordia University, Montreal, Canada (June 2004), http:\/\/newton.cs.concordia.ca\/~paquet\/filetransfer\/publications\/theses\/DingYiminMSc2004.pdf ."},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Mokhov, S.A., Paquet, J., Debbabi, M.: On the need for data flow graph visualization of Forensic Lucid programs and forensic evidence, and their evaluation by GIPSY. In: Proceedings of the Ninth Annual International Conference on Privacy, Security and Trust (PST), pp. 120\u2013123. IEEE Computer Society (July 2011) Short paper; full version online at http:\/\/arxiv.org\/abs\/1009.5423","DOI":"10.1109\/PST.2011.5971973"},{"key":"23_CR14","unstructured":"Ji, Y.: Scalability evaluation of the GIPSY runtime system. Master\u2019s thesis, Department of Computer Science and Software Engineering. Concordia University, Montreal, Canada (March 2011)"},{"issue":"6","key":"23_CR15","first-page":"101","volume":"34","author":"S.A. Mokhov","year":"2009","unstructured":"Mokhov, S.A.: Enhancing the formal cyberforensic approach with observation modeling with credibility factors and mathematical theory of evidence. Login\u00a034(6), 101 (2009); Presented at WIPS at USENIX Security 2009, http:\/\/www.usenix.org\/events\/sec09\/wips.html","journal-title":"Login"},{"key":"23_CR16","unstructured":"Mokhov, S.A., Paquet, J., Debbabi, M.: Towards automated deduction in blackmail case analysis with Forensic Lucid. In: Gauthier, J.S. (ed.) Proceedings of the Huntsville Simulation Conference (HSC 2009). SCS, pp. 326\u2013333 (October 2009), http:\/\/arxiv.org\/abs\/0906.0049"},{"key":"23_CR17","unstructured":"Mokhov, S.A.: The role of self-forensics modeling for vehicle crash investigations and event reconstruction simulation. In: Gauthier, J.S. (ed.) Proceedings of the Huntsville Simulation Conference (HSC 2009). SCS, pp. 342\u2013349 (October 2009), http:\/\/arxiv.org\/abs\/0905.2449"},{"key":"23_CR18","unstructured":"Mokhov, S.A., Paquet, J., Debbabi, M.: Formally specifying operational semantics and language constructs of Forensic Lucid. In: G\u00f6bel, O., Frings, S., G\u00fcnther, D., Nedon, J., Schadt, D. (eds.) Proceedings of the IT Incident Management and IT Forensics (IMF 2008). LNI, vol.\u00a0140, pp. 197\u2013216. GI (September 2008)"},{"key":"23_CR19","unstructured":"Mokhov, S.A., Paquet, J.: Formally specifying and proving operational aspects of Forensic Lucid in Isabelle. Technical Report 2008-1-Ait Mohamed, Department of Electrical and Computer Engineering, Concordia University, Montreal, Canada. In: Theorem Proving in Higher Order Logics (TPHOLs 2008): Emerging Trends Proceedings (August 2008)"},{"key":"23_CR20","unstructured":"Paquet, J.: Scientific Intensional Programming. PhD thesis, Department of Computer Science. Laval University, Sainte-Foy, Canada (1999)"},{"issue":"7","key":"23_CR21","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1145\/359636.359715","volume":"20","author":"E.A. Ashcroft","year":"1977","unstructured":"Ashcroft, E.A., Wadge, W.W.: Lucid, a nonprocedural language with iteration. Communications of the ACM\u00a020(7), 519\u2013526 (1977)","journal-title":"Communications of the ACM"},{"key":"23_CR22","unstructured":"Tong, X.: Design and implementation of context calculus in the GIPSY. Master\u2019s thesis, Department of Computer Science and Software Engineering. Concordia University, Montreal, Canada (April 2008)"},{"key":"23_CR23","unstructured":"Wan, K.: Lucx: Lucid Enriched with Context. PhD thesis, Department of Computer Science and Software Engineering.Concordia University, Montreal, Canada (2006)"},{"key":"23_CR24","first-page":"1288","volume-title":"Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC)","author":"S.A. Mokhov","year":"2008","unstructured":"Mokhov, S.A.: Towards syntax and semantics of hierarchical contexts in multimedia processing applications using MARFL. In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC), pp. 1288\u20131294. IEEE Computer Society, Turku (2008)"},{"key":"23_CR25","unstructured":"Riley, G.: CLIPS: A tool for building expert systems (2007-2009), http:\/\/clipsrules.sourceforge.net\/ (last viewed: October 2009)"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Digital Forensics and Cyber Crime"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35515-8_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,31]],"date-time":"2022-01-31T22:41:23Z","timestamp":1643668883000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35515-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642355141","9783642355158"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35515-8_23","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2012]]}}}