Reasoning About a Simulated Printer Case Investigation with Forensic Lucid

In this work we model the ACME (a fictitious company name) "printer case incident" and make its specification in Forensic Lucid, a Lucid- and intensional-logic-based programming language for cyberforensic analysis and event reconstruction specification. The printer case involves a dispute between two parties that was previously solved using the finite-state automata (FSA) approach, and is now re-done in a more usable way in Forensic Lucid. Our simulation is based on the said case modeling by encoding concepts like evidence and the related witness accounts as an evidential statement context in a Forensic Lucid program, which is an input to the transition function that models the possible deductions in the case. We then invoke the transition function (actually its reverse) with the evidential statement context to see if the evidence we encoded agrees with one's claims and then attempt to reconstruct the sequence of events that may explain the claim or disprove it.Comment: 18 pages, 3 figures, 7 listings, TOC, index; this article closely relates to arXiv:0906.0049 and arXiv:0904.3789 but to remain stand-alone repeats some of the background and introductory content; abstract presented at HSC'09 and the full updated paper at ICDF2C'11. This is an updated/edited version after ICDF2C proceedings with more references and correction

Trumping communitarianism: crime control and forensic DNA typing and databasing in Singapore

Liberalism and communitarianism have figured prominently in discussions of how to govern forensic DNA practices (forensic DNA typing and databasing). Despite the prominence of these two political philosophies and their underlying values, no studies have looked at the governance of forensic DNA practices in a nondemocratic country governed by a communitarian logic. To fill this lacuna in the literature, this article considers Singapore as an authoritarian state governed by a communitarian philosophy. The article highlights basic innovations and technologies of forensic DNA practices and articulates a liberal democratic version of “biolegality” as described by Michael Lynch and Ruth McNally. It goes on to consider briefly various (political) philosophies (liberalism and communitarianism) and law enforcement models (due process and crime control models). The main part of the article records the trajectory, and hence biolegal progress, of forensic DNA practices in Singapore and compares it with trajectories in England and the United States. The article concludes that Singapore's forensic DNA practices are organized according to the crime control model and therefore safety and the war against crime and terrorism trump individual rights and legal principles such as privacy, bodily integrity, proportionality, presumption of innocence. and onus of proof