Encoding Forensic Multimedia Evidence from MARF Applications as Forensic Lucid Expressions

In this work we summarize biometric evidence as well as file type evidence extraction “exported” as formal Forensic Lucid language expression in the form of higher-order intensional contexts for further case analysis by a system that interprets Forensic Lucid expressions for claim verification and event reconstruction. The digital evidence is exported from the Modular Audio Recognition Framework (MARF)’s applications runs on a set of data comprising biometric voice recordings for speaker, gender, spoken accent, etc. as well as more general file type analysis using signal and pattern recognition processing techniques. The focus is in translation aspect of the extracted evidence into formal Forensic Lucid expressions for further analysis

The Need to Support of Data Flow Graph Visualization of Forensic Lucid Programs, Forensic Evidence, and their Evaluation by GIPSY

Lucid programs are data-flow programs and can be visually represented as data flow graphs (DFGs) and composed visually. Forensic Lucid, a Lucid dialect, is a language to specify and reason about cyberforensic cases. It includes the encoding of the evidence (representing the context of evaluation) and the crime scene modeling in order to validate claims against the model and perform event reconstruction, potentially within large swaths of digital evidence. To aid investigators to model the scene and evaluate it, instead of typing a Forensic Lucid program, we propose to expand the design and implementation of the Lucid DFG programming onto Forensic Lucid case modeling and specification to enhance the usability of the language and the system and its behavior. We briefly discuss the related work on visual programming an DFG modeling in an attempt to define and select one approach or a composition of approaches for Forensic Lucid based on various criteria such as previous implementation, wide use, formal backing in terms of semantics and translation. In the end, we solicit the readers' constructive, opinions, feedback, comments, and recommendations within the context of this short discussion.Comment: 11 pages, 7 figures, index; extended abstract presented at VizSec'10 at http://www.vizsec2010.org/posters ; short paper accepted at PST'1

Software Engineering Challenges for Investigating Cyber-Physical Incidents

Cyber-Physical Systems (CPS) are characterized by the interplay between digital and physical spaces. This characteristic has extended the attack surface that could be exploited by an offender to cause harm. An increasing number of cyber-physical incidents may occur depending on the configuration of the physical and digital spaces and their interplay. Traditional investigation processes are not adequate to investigate these incidents, as they may overlook the extended attack surface resulting from such interplay, leading to relevant evidence being missed and testing flawed hypotheses explaining the incidents. The software engineering research community can contribute to addressing this problem, by deploying existing formalisms to model digital and physical spaces, and using analysis techniques to reason about their interplay and evolution. In this paper, supported by a motivating example, we describe some emerging software engineering challenges to support investigations of cyber-physical incidents. We review and critique existing research proposed to address these challenges, and sketch an initial solution based on a meta-model to represent cyber-physical incidents and a representation of the topology of digital and physical spaces that supports reasoning about their interplay

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

An Economic Analysis of Privacy Protection and Statistical Accuracy as Social Choices

Statistical agencies face a dual mandate to publish accurate statistics while protecting respondent privacy. Increasing privacy protection requires decreased accuracy. Recognizing this as a resource allocation problem, we propose an economic solution: operate where the marginal cost of increasing privacy equals the marginal benefit. Our model of production, from computer science, assumes data are published using an efficient differentially private algorithm. Optimal choice weighs the demand for accurate statistics against the demand for privacy. Examples from U.S. statistical programs show how our framework can guide decision-making. Further progress requires a better understanding of willingness-to-pay for privacy and statistical accuracy

The iBRA (implant breast reconstruction evaluation) study: protocol for a prospective multi-centre cohort study to inform the feasibility, design and conduct of a pragmatic randomised clinical trial comparing new techniques of implant-based breast reconstruction.

BACKGROUND: Implant-based breast reconstruction (IBBR) is the most commonly performed reconstructive procedure in the UK. The introduction of techniques to augment the subpectoral pocket has revolutionised the procedure, but there is a lack of high-quality outcome data to describe the safety or effectiveness of these techniques. Randomised controlled trials (RCTs) are the best way of comparing treatments, but surgical RCTs are challenging. The iBRA (implant breast reconstruction evaluation) study aims to determine the feasibility, design and conduct of a pragmatic RCT to examine the effectiveness of approaches to IBBR. METHODS/DESIGN: The iBRA study is a trainee-led research collaborative project with four phases:Phase 1 - a national practice questionnaire (NPQ) to survey current practicePhase 2 - a multi-centre prospective cohort study of patients undergoing IBBR to evaluate the clinical and patient-reported outcomesPhase 3- an IBBR-RCT acceptability survey and qualitative work to explore patients' and surgeons' views of proposed trial designs and candidate outcomes.Phase 4 - phases 1 to 3 will inform the design and conduct of the future RCT All centres offering IBBR will be encouraged to participate by the breast and plastic surgical professional associations (Association of Breast Surgery and British Association of Plastic Reconstructive and Aesthetic Surgeons). Data collected will inform the feasibility of undertaking an RCT by defining current practice and exploring issues surrounding recruitment, selection of comparator arms, choice of primary outcome, sample size, selection criteria, trial conduct, methods of data collection and feasibility of using the trainee collaborative model to recruit patients and collect data. DISCUSSION: The preliminary work undertaken within the iBRA study will determine the feasibility, design and conduct of a definitive RCT in IBBR. It will work with the trainee collaborative to build capacity by creating an infrastructure of research-active breast and plastic surgeons which will facilitate future high-quality research that will ultimately improve outcomes for all women seeking reconstructive surgery. TRIAL REGISTRATION: ISRCTN37664281

Vulnerability reduction of infrastructure reconstruction projects

Various infrastructure segments of numerous countries have been repeatedly subjected to natural and man-made disasters. The potential reason of damaging infrastructure facilities and their services is resultant disaster risks due to natural or man-made hazards connect with vulnerable infrastructure facilities and vulnerable communities. The simplest way to prevent or mitigate disaster losses is addressing vulnerabilities. The main study based on which this paper was compiled aimed at exploring and investigating the vulnerabilities of infrastructures and communities benefited from infrastructures and possible solutions to overcome them. This paper presents the literature review conducted on vulnerabilities of infrastructures and empirical evidence collated on best possible DRR strategies to overcome such vulnerabilities of infrastructures. The main study was conducted using case study strategy and the expert interviews. This paper is entirely based on the data collated from the expert interviews conducted in Sri Lanka and United Kingdom. The expert interviews discovered various DRR strategies to overcome the vulnerabilities of the infrastructure project

Urinary diversion and bladder reconstruction/replacement using intestinal segments for intractable incontinence or following cystectomy

Background Surgery performed to improve or replace the function of the diseased urinary bladder has been carried out for over a century. Main reasons for improving or replacing the function of the urinary bladder are bladder cancer, neurogenic bladder dysfunction, detrusor overactivity and chronic inflammatory diseases of the bladder (such as interstitial cystitis, tuberculosis and schistosomiasis). There is still much uncertainty about the best surgical approach. Options available at the present time include: (1) conduit diversion (the creation of various intestinal conduits to the skin) or continent diversion (which includes either a rectal reservoir or continent cutaneous diversion), (2) bladder reconstruction and (3) replacement of the bladder with various intestinal segments. Objectives To determine the best way of improving or replacing the function of the lower urinary tract using intestinal segments when the bladder has to be removed or when it has been rendered useless or dangerous by disease. Search methods We searched the Cochrane Incontinence Group Specialised Trials Register (searched 28 October 2011), which contains trials identified from the Cochrane Central Register of Controlled Trials (CENTRAL), MEDLINE and CINAHL, and handsearching of journals and conference proceedings, and the reference lists of relevant articles. Selection criteria All randomised or quasi-randomised controlled trials of surgery involving transposition of an intestinal segment into the urinary tract. Data collection and analysis Trials were evaluated for appropriateness for inclusion and for risk of bias by the review authors. Three review authors were involved in the data extraction. Data were combined in a meta-analysis when appropriate. Main results Five trials met the inclusion criteria with a total of 355 participants. These trials addressed only five of the 14 comparisons pre-specified in the protocol. One trial reported no statistically significant differences in the incidence of upper urinary tract infection, uretero-intestinal stenosis and renal deterioration in the comparison of continent diversion with conduit diversion. The confidence intervals were all wide, however, and did not rule out important clinical differences. In a second trial, there was no reported difference in the incidence of upper urinary tract infection and uretero-intestinal stenosis when conduit diversions were fashioned from either ileum or colon. A meta-analysis of two trials showed no statistically significant difference in daytime or nocturnal incontinence amongst participants who were randomised to ileocolonic/ileocaecal segment bladder replacement compared to an ileal bladder replacement. However, one small trial suggested that bladder replacement using an ileal segment compared to using an ileocolonic segment may be better in terms of lower rates of nocturnal incontinence. There were no differences in the incidence of dilatation of upper tract, daytime urinary incontinence or wound infection using different intestinal segments for bladder replacement. However the data were reported for 'renal units', but not in a form that allowed appropriate patient-based paired analyses. No statistically significant difference was found in the incidence of renal scarring between anti-refluxing versus freely refluxing uretero-intestinal anastomotic techniques in conduit diversions and bladder replacement groups. Again, the outcome data were not reported as paired analysis or in form to carry out paired analysis. Authors' conclusions The evidence from the included trials was very limited. Only five studies met the inclusion criteria; these were small, of moderate or poor methodological quality, and reported few of the pre-selected outcome measures. This review did not find any evidence that bladder replacement (orthotopic or continent diversion) was better than conduit diversion following cystectomy for cancer. There was no evidence to suggest that bladder reconstruction was better than conduit diversion for benign disease. The clinical significance of data from one small trial suggesting that bladder replacement using an ileal segment compared to using an ileocolonic segment is better in terms of lower rates of nocturnal incontinence is uncertain. The small amount of usable evidence for this review suggests that collaborative multi centre studies should be organised, using random allocation where possible. This review is published as a Cochrane Review in the Cochrane Database of Systematic Reviews 2012, Issue 2. Cochrane Reviews are regularly updated as new evidence emerges and in response to comments and criticisms, and the Cochrane Database of Systematic Reviews should be consulted for the most recent version of the Review.</p