{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:35:11Z","timestamp":1750307711841,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,5,12]],"date-time":"2008-05-12T00:00:00Z","timestamp":1210550400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,5,12]]},"DOI":"10.1145\/1413140.1413153","type":"proceedings-article","created":{"date-parts":[[2008,9,30]],"date-time":"2008-09-30T13:03:19Z","timestamp":1222779799000},"page":"1-3","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Semantics for a domain-specific language for the digital forensics domain"],"prefix":"10.1145","author":[{"given":"Phillip G.","family":"Bradford","sequence":"first","affiliation":[{"name":"The University of Alabama, Tuscaloosa, AL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel A.","family":"Ray","sequence":"additional","affiliation":[{"name":"The University of Virginia College at Wise, Wise, VA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,5,12]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_2_1_1","DOI":"10.1016\/j.diin.2005.04.002"},{"key":"e_1_3_2_2_2_1","volume-title":"Cyber Security and Information Infrastructure Workshop, Oak Ridge National Laboratory","author":"Bradford P.","year":"2007","unstructured":"P. Bradford and D. Ray . Models of models: Digital forensics and domain-specific languages . Cyber Security and Information Infrastructure Workshop, Oak Ridge National Laboratory , 2007 . P. Bradford and D. Ray. Models of models: Digital forensics and domain-specific languages. Cyber Security and Information Infrastructure Workshop, Oak Ridge National Laboratory, 2007."},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_3_1","DOI":"10.1109\/ISI.2007.379522"},{"key":"e_1_3_2_2_4_1","volume-title":"Digital Evidence and Computer Crime","author":"Casey E.","year":"2004","unstructured":"E. Casey and G. L. Palmer . Digital Evidence and Computer Crime , chapter The Investigative Response. Elsevier Ltd ., 2004 . E. Casey and G. L. Palmer. Digital Evidence and Computer Crime, chapter The Investigative Response. Elsevier Ltd., 2004."},{"issue":"1","key":"e_1_3_2_2_5_1","article-title":"An extended model of cybercrime investigations","volume":"4","author":"Ciardhuain S. O.","year":"2004","unstructured":"S. O. Ciardhuain . An extended model of cybercrime investigations . International Journal of Digital Evidence , 4 ( 1 ), 2004 . S. O. Ciardhuain. An extended model of cybercrime investigations. International Journal of Digital Evidence, 4(1), 2004.","journal-title":"International Journal of Digital Evidence"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_6_1","DOI":"10.1145\/130844.130856"},{"issue":"2","key":"e_1_3_2_2_7_1","article-title":"A formalization of digital forensics","volume":"3","author":"Leighland R.","year":"2004","unstructured":"R. Leighland and R. Krings . A formalization of digital forensics . International Journal of Digital Evidence , 3 ( 2 ), 2004 . R. Leighland and R. Krings. A formalization of digital forensics. International Journal of Digital Evidence, 3(2), 2004.","journal-title":"International Journal of Digital Evidence"},{"key":"e_1_3_2_2_8_1","volume-title":"Incident Response and Computer Forensics","author":"Mandia K.","year":"2003","unstructured":"K. Mandia , C. Prosise , and M. Pepe . Incident Response and Computer Forensics . McGraw-Hill\/Osborne , 2 edition, 2003 . K. Mandia, C. Prosise, and M. Pepe. Incident Response and Computer Forensics. McGraw-Hill\/Osborne, 2 edition, 2003."},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_9_1","DOI":"10.1145\/1118890.1118892"},{"key":"e_1_3_2_2_10_1","volume-title":"Computer and Intrusion Forensics","author":"Mohay G.","year":"2003","unstructured":"G. Mohay , A. Anderson , B. Collie , O. de Vel , and R. McKemmish . Computer and Intrusion Forensics . Artech House , Boston , 2003 . G. Mohay, A. Anderson, B. Collie, O. de Vel, and R. McKemmish. Computer and Intrusion Forensics. Artech House, Boston, 2003."},{"key":"e_1_3_2_2_11_1","volume-title":"Course Technology","author":"Nelson B.","year":"2004","unstructured":"B. Nelson , A. Phillips , F. Enfinger , and C. Steuart . Guide to Computer Forensics and Investigations . Course Technology , 2004 . B. Nelson, A. Phillips, F. Enfinger, and C. Steuart. Guide to Computer Forensics and Investigations. Course Technology, 2004."},{"issue":"3","key":"e_1_3_2_2_14_1","article-title":"An examination of digital forensics models","volume":"1","author":"Reith M.","year":"2002","unstructured":"M. Reith , C. Carr , and G. Gunsch . An examination of digital forensics models . International Journal of Digital Evidence , 1 ( 3 ), 2002 . M. Reith, C. Carr, and G. Gunsch. An examination of digital forensics models. International Journal of Digital Evidence, 1(3), 2002.","journal-title":"International Journal of Digital Evidence"},{"issue":"1","key":"e_1_3_2_2_15_1","article-title":"The application of formal methods to root cause analysis of digital incidents","volume":"3","author":"Stephenson P.","year":"2004","unstructured":"P. Stephenson . The application of formal methods to root cause analysis of digital incidents . International Journal of Digital Evidence , 3 ( 1 ), 2004 . P. Stephenson. The application of formal methods to root cause analysis of digital incidents. International Journal of Digital Evidence, 3(1), 2004.","journal-title":"International Journal of Digital Evidence"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_16_1","DOI":"10.2498\/cit.2001.04.01"}],"event":{"acronym":"CSIIRW '08","name":"CSIIRW '08: Cyber Security and Information Intelligence Research Workshop","location":"Oak Ridge Tennessee USA"},"container-title":["Proceedings of the 4th annual workshop on Cyber security and information intelligence research: developing strategies to meet the cyber security and information intelligence challenges ahead"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1413140.1413153","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1413140.1413153","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:12Z","timestamp":1750253412000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1413140.1413153"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,12]]},"references-count":14,"alternative-id":["10.1145\/1413140.1413153","10.1145\/1413140"],"URL":"https:\/\/doi.org\/10.1145\/1413140.1413153","relation":{},"subject":[],"published":{"date-parts":[[2008,5,12]]},"assertion":[{"value":"2008-05-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}