Technical report writing

This manual covers the fundamentals of organizing, writing, and reviewing NASA technical reports. It was written to improve the writing skills of LeRC technical authors and the overall quality of their reports

Nonmalleable Information Flow: Technical Report

Noninterference is a popular semantic security condition because it offers strong end-to-end guarantees, it is inherently compositional, and it can be enforced using a simple security type system. Unfortunately, it is too restrictive for real systems. Mechanisms for downgrading information are needed to capture real-world security requirements, but downgrading eliminates the strong compositional security guarantees of noninterference. We introduce nonmalleable information flow, a new formal security condition that generalizes noninterference to permit controlled downgrading of both confidentiality and integrity. While previous work on robust declassification prevents adversaries from exploiting the downgrading of confidentiality, our key insight is transparent endorsement, a mechanism for downgrading integrity while defending against adversarial exploitation. Robust declassification appeared to break the duality of confidentiality and integrity by making confidentiality depend on integrity, but transparent endorsement makes integrity depend on confidentiality, restoring this duality. We show how to extend a security-typed programming language with transparent endorsement and prove that this static type system enforces nonmalleable information flow, a new security property that subsumes robust declassification and transparent endorsement. Finally, we describe an implementation of this type system in the context of Flame, a flow-limited authorization plugin for the Glasgow Haskell Compiler

Human response to vibration in residential environments (NANR209), executive summary

The aim of the Defra-funded project NANR209 ‘Human response to vibration in residential environments’ was to develop exposure-response relationships for vibration experienced in residential environments from sources outside of the residents’ control. The project was performed at the University of Salford between January 2008 and March 2011. The final report was published on the Defra website on 6th September 2012. The NANR209 Final Report consists of the following documents: • Executive summary • Final project report • Technical report 1: Measurement of vibration exposure • Technical report 2: Measurement of response • Technical report 3: Calculation of vibration exposure • Technical report 4: Measurement and calculation of noise exposure • Technical report 5: Analysis of the social survey findings • Technical report 6: Determination of exposure-response relationships This document is the Executive summary

Belle II Technical Design Report

The Belle detector at the KEKB electron-positron collider has collected almost 1 billion Y(4S) events in its decade of operation. Super-KEKB, an upgrade of KEKB is under construction, to increase the luminosity by two orders of magnitude during a three-year shutdown, with an ultimate goal of 8E35 /cm^2 /s luminosity. To exploit the increased luminosity, an upgrade of the Belle detector has been proposed. A new international collaboration Belle-II, is being formed. The Technical Design Report presents physics motivation, basic methods of the accelerator upgrade, as well as key improvements of the detector.Comment: Edited by: Z. Dole\v{z}al and S. Un

UKERC Review of evidence for the rebound effect: Technical report 2: Econometric studies

This Working Paper examines the evidence for direct rebound effects that is available from studies that use econometric techniques to analyse secondary data. The focus throughout is on consumer energy services, since this is where the bulk of the evidence lies