UvA-DARE (Digital Academic Repository) Gathering evidence: Model-driven software engineering in automated digital forensics van den Bos, J. Publication date 2014 Link to publication Citation for published version (APA): van den Bos, J. (2014). Gathering evidence: Model-driven software engineering in automated digital forensics. General rights It is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s) and/or copyright holder(s), other than for strictly personal, individual use, unless the work is under an open content license (like Creative Commons). Disclaimer/Complaints regulations If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: https://uba.uva.nl/en/contact, or a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible. UvA-DARE is a service provided by the library of the University of Amsterdam (https://dare.uva.nl) Download date:27 Sep 2021 Bibliography [AB11] Leon Aronson and Jeroen van den Bos. Towards an Engineering Ap- proach to File Carver Construction. In 2011 IEEE 35th Annual Computer Software and Applications Conference Workshops (COMPSACW), pages 368–373. IEEE, 2011. (page 18, 19) [AC72] Frances Allen and John Cocke. A Catalogue of Optimizing Transforma- tions. In Design and Optimization of Compilers, pages 1–30. Prentice-Hall, 1972. (page 72) [ALSU06] Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey Ullman. Com- pilers: Principles, Techniques, and Tools. Prentice Hall, 2 edition, 2006. (page 67) [Alv11] Lizette Alvarez. Software Designer Reports Error in Anthony Trial. The New York Times, July 2011. http://www.nytimes.com/2011/07/19/us/ 19casey.html. (page 3) [AT05] Ahmad Almulhem and Issa Traore. Experience with Engineering a Network Forensics System. In Cheeha Kim, editor, Proceedings of the International Conference on Information Networking, Convergence in Broad- band and Mobile Networking (ICOIN’05), volume 3391 of Lecture Notes in Computer Science, pages 62–71. Springer, 2005. (page 14) [Axe10] Stefan Axelsson. The Normalised Compression Distance as a File Frag- ment Classifier. Digital Investigation, 7(S1):24–31, 2010. Proceedings of the Tenth Annual DFRWS Conference. (page 24) [Bac02] Godmar Back. DataScript—A Specification and Scripting Language for Binary Data. In Proceedings of the 1st ACM SIGPLAN/SIGSOFT Con- ference on Generative Programming and Component Engineering (GPCE’02), volume 2487 of Lecture Notes in Computer Science, pages 66–77. Springer, 2002. (page 54) 117 Bibliography [BBB+12] Raoul A. F. Bhoedjang, Alex R. van Ballegooij, Harm M. A. van Beek, John C. van Schie, Feike W. Dillema, Ruud B. van Baar, Floris A. Ouwendijk, and Micha Streppel. Engineering an Online Computer Forensic Service. Digital Investigation, 9(2):96–108, 2012. (page 14, 15) [BBI+04] Grady Booch, Alan W. Brown, Sridhar Iyengar, James Rumbaugh, and Bran Selic. An MDA Manifesto. Business Process Trends/MDA Journal, May 2004. (page 10) [BCK12] Len Bass, Paul Clements, and Rick Kazman. Software Architecture in Practice. Addison-Wesley, third edition, 2012. (page 4) [Bee09] Nicole Beebe. Digital Forensic Research: The Good, the Bad and the Unaddressed. In Gilbert L. Peterson and Sujeet Shenoi, editors, Revised Selected Papers from Advances in Digital Forensics V - Fifth IFIP WG 11.9 International Conference on Digital Forensics, volume 306 of IFIP Advances in Information and Communication Technology, pages 17–36. Springer, 2009. (page 13) [Béz06] Jean Bézivin. Model Driven Engineering: An Emerging Technical Space. In Generative and Transformational Techniques in Software Engi- neering, volume 4143 of Lecture Notes in Computer Science, pages 36–64. Springer, 2006. (page 10, 72) [BHK+11] Jeroen van den Bos, Mark Hills, Paul Klint, Tijs van der Storm, and Jurgen J. Vinju. Rascal: From Algebraic Specification to Meta- Programming. In Francisco Durán and Vlad Rusu, editors, Proceedings Second International Workshop on Algebraic Methods in Model-based Soft- ware Engineering (AMMSE’11), volume 56 of Electronic Proceedings in Theoretical Computer Science, pages 15–32, 2011. (page 114) [BJMH02] Don Batory, Clay Johnson, Bob MacDonald, and Dale von Heeder. Achieving Extensibility through Product-Lines and Domain-Specific Languages: A Case Study. ACM Transactions on Software Engineering and Methodology, 11(2), April 2002. (page 11) [BJS10] Marius Bozga, Mohamad Jaber, and Joseph Sifakis. Source-to-Source Architecture Transformation for Performance Optimization in BIP. IEEE Transactions on Industrial Informatics, 6(4):708–718, 2010. (page 72) [BK05] Jeroen van den Bos and Ronald van der Knijff. TULP2G: An Open Source Forensic Software Framework for Acquiring and Decoding Data Stored in Electronic Devices. International Journal of Digital Evidence, 4(2), 2005. (page 14) 118 Bibliography [BLW05] Paul Baker, Shiou Loh, and Frank Weil. Model-Driven Engineering in a Large Industrial Context—Motorola Case Study. In Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MODELS’05), volume 3713 of Lecture Notes in Computer Science, pages 476–491. Springer, 2005. (page 54) [BP08] Jean Bovet and Terence Parr. ANTLRWorks: an ANTLR grammar de- velopment environment. Software: Practice & Experience, 38(12):1305– 1332, 2008. (page 101) [BRLM07] Laurent Burgy, Laurent Reveillere, Julia L. Lawall, and Gilles Muller. A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. In Proceedings of the 26th IEEE International Symposium on Reliable Distributed Systems (SRDS’07), pages 149–160, 2007. (page 54) [BS11] Jeroen van den Bos and Tijs van der Storm. Bringing Domain-Specific Languages to Digital Forensics. In 33rd International Conference on Soft- ware Engineering (ICSE’11), pages 671–680. ACM, 2011. (page 18, 35) [BS12] Jeroen van den Bos and Tijs van der Storm. Domain-Specific Optimiza- tion in Digital Forensics. In Zhenjiang Hu and Juan de Lara, editors, 5th International Conference on Model Transformation (ICMT’12), volume 7307 of Lecture Notes in Computer Science, pages 121–136. Springer, 2012. (page 18, 57) [BS13a] Jeroen van den Bos and Tijs van der Storm. A Case Study in Evidence- Based DSL Evolution. In Pieter Van Gorp, Tom Ritter, and Louis M. Rose, editors, 9th European Conference on Modelling Foundations and Ap- plications (ECMFA’13), volume 7949 of Lecture Notes in Computer Science, pages 207–219. Springer, 2013. (page 18, 77) [BS13b] Jeroen van den Bos and Tijs van der Storm. TRINITY: An IDE for The Matrix. In 29th IEEE International Conference on Software Maintenance (ICSM’13), pages 520–523. IEEE, 2013. (page 18, 93) [BV04] Martin Bravenboer and Eelco Visser. Concrete Syntax for Objects: Domain-Specific Language Embedding and Assimilation without Re- strictions. In Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA’04), pages 365–383. ACM, 2004. (page 12) [Car] Brian Carrier. Digital Forensics Tool Testing Images. http://dftt. sourceforge.net/. (page 48) 119 Bibliography [Car05] Brian Carrier. File System Forensic Analysis. Addison-Wesley, 2005. (page 5, 7) [Cas09] Eoghan Casey, editor. Handbook of Digital Forensics and Investigation. Academic Press, 2009. (page 5) [CBDM01] Eui-Young Chung, Luca Benini, and Giovanni De Micheli. Source Code Transformation based on Software Cost Analysis. In Proceedings of the 14th International Symposium on Systems Synthesis (ISSS’01), pages 153– 158. ACM, 2001. (page 72) [CBS+10] Gregory Conti, Sergey Bratus, Anna Shubina, Benjamin Sangster, Roy Ragsdale, Matthew Supan, Andrew Lichtenberg, and Robert Perez- Alemany. Automated Mapping of Large Binary Objects using Primi- tive Fragment Type Classification. Digital Investigation, 7(S1):3–12, 2010. Proceedings of the Tenth Annual DFRWS Conference. (page 24) [CE00] Krzysztof Czarnecki and Ulrich Eisenecker. Generative Programming: Methods, Tools, and Applications. Addison Wesley, 2000. (page 72) [Cen09] Centraal Bureau voor de Statistiek. De Digitale Economie. 2009. In Dutch. (page 40) [CH06] Krzysztof Czarnecki and Simon Helsen. Feature-Based Survey of Model Transformation Approaches. IBM Systems Journal, 45(3):621–646, 2006. (page 47) [Coh07] Michael I. Cohen. Advanced Carving Techniques. Digital Investigation, 4(3-4):119–128, 2007. (page 23, 45, 63, 73, 96) [DK98] Arie van Deursen and Paul Klint. Little Languages: Little Mainte- nance? Journal of Software Maintenance, 10(2):75–92, 1998. (page 11, 78) [DKT93] Arie van Deursen, Paul Klint, and Frank Tip. Origin tracking. Journal of Symbolic Computation, 15:523–545, 1993. (page 100) [DKV00] Arie van Deursen, Paul Klint, and Joost Visser. Domain-Specific Lan- guages: An Annotated Bibliography. SIGPLAN Notices, 35(6):26–36, 2000. (page 11, 54, 78) [DRIP12] Davide Di Ruscio, Ludovico Iovino, and Alfonso Pierantonio. Coupled Evolution in Model-Driven Engineering. IEEE Software, 29(6):78–84, 2012. (page 91) 120 Bibliography [ERKO11] Sebastian Erdweg, Tillmann Rendel, Christian Kästner, and Klaus Ostermann. SugarJ: Library-based Syntactic Language Extensibil- ity. In Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming,