Abstract
Computer forensic tools are tools concerned with the identification, recovery, preservation and analysisof evidence in digital media involved in criminal investigations and illegal cases. String searchtools are a special class of such forensic tools, which are used to search for specific queries in theinvestigated medium. However, one main issue we find in literature mainly is that computer forensictools, including string search tools, are generally specified in an informal and oftentimes ambiguousand inconstant manner. We adopt in this short paper formal specification approaches, in particularEvent-B, in order to define clearly the behaviour and properties of string search tools, a class of computerforensic tools, and investigate whether there are any requirements that cannot be achieved. Ourresults show that some basic and optional requirements as stated in literature related to string searchtools could be not be consistent and some are unnecessarily restrictive.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Research Briefs on Information and Communication Technology Evolution
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
