{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T08:06:40Z","timestamp":1730275600698,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,10,20]],"date-time":"2020-10-20T00:00:00Z","timestamp":1603152000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,10,20]],"date-time":"2020-10-20T00:00:00Z","timestamp":1603152000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,10,20]],"date-time":"2020-10-20T00:00:00Z","timestamp":1603152000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,10,20]]},"DOI":"10.1109\/isncc49221.2020.9297224","type":"proceedings-article","created":{"date-parts":[[2020,12,25]],"date-time":"2020-12-25T22:06:21Z","timestamp":1608933981000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Toward Scalable Demand-Driven JSON-to-Forensic Lucid Encoder in GIPSY"],"prefix":"10.1109","author":[{"given":"Peyman","family":"Derafshkavian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Huneault-LeBlanc","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sacha","family":"Renault-Crispo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akansha","family":"Marwaha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Serguei A.","family":"Mokhov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joey","family":"Paquet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3127041.3127056"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3127041.3127055"},{"year":"2007","author":"thuen","key":"ref11"},{"key":"ref12","article-title":"Formalising event reconstruction in digital investigations","author":"gladyshev","year":"2004","journal-title":"Ph D Dissertation"},{"key":"ref13","article-title":"Finite state machine approach to digital event reconstruction","volume":"2","author":"gladyshev","year":"2004","journal-title":"Digital Investigation Journal"},{"key":"ref14","article-title":"Finite state machine analysis of a blackmail investigation","volume":"4","author":"gladyshev","year":"2005","journal-title":"International Journal of Digital Evidence"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SERA.2010.40"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2513228.2513286"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1557626.1557642"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICIS.2010.156"},{"key":"ref19","article-title":"General architecture for demand migration in the GIPSY demand-driven execution engine","author":"vassev","year":"2005","journal-title":"Master’s thesis"},{"key":"ref28","volume":"5170","author":"mohamed","year":"2008","journal-title":"Theorem Proving in Higher Order Logics 21st International Conference TPHOLs 2008"},{"key":"ref4","first-page":"168","article-title":"Automating MAC spoofer evidence gathering and encoding for investigations","author":"mokhov","year":"2014","journal-title":"Proceedings of The 7th International Symposium on Foundations & Practice of Security (FPS’14)"},{"article-title":"The L4.verified project","year":"2009","author":"klein","key":"ref27"},{"key":"ref3","article-title":"Team 4: Software requirements specification document: Encoding JSON into Forensic Lucid","author":"derafshkavian","year":"2018","journal-title":"INSE 6610 Cybercrime Investigations Winter 2018"},{"key":"ref6","volume":"2283","author":"nipkow","year":"2007","journal-title":"Isabelle\/HOL A Proof Assistant for Higher-Order Logic"},{"key":"ref29","first-page":"33","article-title":"The Isabelle framework","volume":"5170","author":"wenzel","year":"2008","journal-title":"TPHOLS"},{"article-title":"Isabelle: A generic proof assistant","year":"2015","author":"paulson","key":"ref5"},{"article-title":"A brief introduction to REST","year":"0","author":"tilkov","key":"ref8"},{"key":"ref7","article-title":"A resource oriented architecture for the Web of Things","author":"guinard","year":"2010","journal-title":"IOT"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2009.137"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.6028\/NIST.SP.800-145"},{"key":"ref1","article-title":"Intensional cyberforensics","author":"mokhov","year":"0","journal-title":"Ph D Dissertation"},{"year":"2018","key":"ref20","article-title":"Online website"},{"year":"2018","key":"ref22","article-title":"Gson github"},{"year":"2018","key":"ref21","article-title":"Online website"},{"year":"2018","key":"ref24","article-title":"source-provider github"},{"year":"2018","key":"ref23","article-title":"prebuilt datasets github"},{"year":"2018","key":"ref26","article-title":"Online website"},{"year":"2018","key":"ref25","article-title":"Online website"}],"event":{"name":"2020 International Symposium on Networks, Computers and Communications (ISNCC)","start":{"date-parts":[[2020,10,20]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2020,10,22]]}},"container-title":["2020 International Symposium on Networks, Computers and Communications (ISNCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9297148\/9297168\/09297224.pdf?arnumber=9297224","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T21:55:51Z","timestamp":1656453351000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9297224\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,20]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/isncc49221.2020.9297224","relation":{},"subject":[],"published":{"date-parts":[[2020,10,20]]}}}