Quantitative analysis of the leakage of confidential data

Basic information theory is used to analyse the amount of confidential information which may be leaked by programs written in a very simple imperative language. In particular, a detailed analysis is given of the possible leakage due to equality tests and if statements. The analysis is presented as a set of syntax-directed inference rules and can readily be automated

A static analysis for quantifying information flow in a simple imperative language

We propose an approach to quantify interference in a simple imperative language that includes a looping construct. In this paper we focus on a particular case of this definition of interference: leakage of information from private variables to public ones via a Trojan Horse attack. We quantify leakage in terms of Shannon's information theory and we motivate our definition by proving a result relating this definition of leakage and the classical notion of programming language interference. The major contribution of the paper is a quantitative static analysis based on this definition for such a language. The analysis uses some non-trivial information theory results like Fano's inequality and L1 inequalities to provide reasonable bounds for conditional statements. While-loops are handled by integrating a qualitative flow-sensitive dependency analysis into the quantitative analysis

Prevalence and risk factors for joint pain among men and women in the West of Scotland Twenty-07 study

Objective: To examine the association between three modifiable risk factors (obesity, smoking, and alcohol consumption) and reported joint pain. Methods: Cross sectional data were collected on 858 people aged 58 years living in the West of Scotland and on the same individuals four years later, aged 62 years. Results: There was a positive relation between obesity and reported pain in the hips, knees, ankles, and feet. The strongest relation was with knee pain (odds ratio = 2.42 (95% confidence interval, 1.65 to 3.56)). There were no strong consistent associations between smoking habits and pain in any joint after adjusting for sex, alcohol consumption, body mass index, social class, and occupational exposures. Similarly, alcohol was not consistently related to pain in any joint in the fully adjusted models. Conclusions: Obesity had consistent and readily explained associations with lower limb joint pain. The data suggest that smoking behaviour and alcohol consumption are not consistently associated with joint pain across the body

Effect of detraining on bone and muscle tissue in subjects with chronic spinal cord injury after a period of electrically-stimulated cycling: a small cohort study

Objective: To investigate adaptive changes in bone and muscle parameters in the paralysed limbs after de-training or reduced functional electrical stimulation (FES) induced cycling following high-volume FES-cycling in chronic spinal cord injury (SCI). Subjects: Five subjects with motor-sensory complete SCI (age 38.6 years, lesion duration 11.4 years) were included. Four subjects stopped FES-cycling completely after the training phase whereas one continued reduced FES-cycling (2-3 times/week, for 30min). Methods: Bone and muscle parameters were assessed in the legs using peripheral quantitative computed tomography at six and twelve months after cessation of high-volume FES-cycling. Results: Gains achieved in the distal femur by high-volume FES-cycling were partly maintained at one year of detraining: 73.0% in trabecular bone mineral density (BMD), 63.8% in total BMD, 59.4% in bone mineral content and 22.1% in muscle cross-sectional area (CSAmuscle) in the thigh. The subject who continued reduced FES-cycling maintained 96.2% and 95.0% of the previous gain in total and trabecu-lar BMD, and 98.5% in CSAmuscle. Conclusion: Bone and muscle benefits achieved by one year of high-volume FES-cycling are partly preserved after 12 months of detraining whereas reduced cycling maintains bone and muscle mass gained. This suggests that high-volume FES-cycling has clinical relevance for at least 1y after detraining

Collisions with ice-volatile objects: Geological implications

The collision of the Earth with extra-terrestrial ice-volatile bodies is proposed as a mechanism to produce rapid changes in the geologic record. These bodies would be analogs of the ice satellites found for the Jovian planets and suspected for comets and certain low density bodies in the Asteroid belt. Five generic end-members are postulated: (1) water ice; (2) dry ice: carbon-carbon dioxide rich, (3) oceanic (chloride) ice; (4) sulfur-rich ice; (5) ammonia hydrate-rich ice; and (6) clathrate: methane-rich ice. Due to the volatile nature of these bodies, evidence for their impact with the Earth would be subtle and probably best reflected geochemically or in the fossil record. Actual boloids impacting the Earth may have a variable composition, generally some admixture with water ice. However for discussion purposes, only the effects of a dominant component will be treated. The general geological effects of such collisions, as a function of the dominant component would be: (1) rapid sea level rise unrelated to deglaciation, (2) decreased oceanic pH and rapid climatic warming or deglaciation; (3) increased paleosalinities; (4) increased acid rain; (5) increased oceanic pH and rapid carbonate deposition; and (6) rapid climatic warming or deglaciation

A Semantic Hierarchy for Erasure Policies

We consider the problem of logical data erasure, contrasting with physical erasure in the same way that end-to-end information flow control contrasts with access control. We present a semantic hierarchy for erasure policies, using a possibilistic knowledge-based semantics to define policy satisfaction such that there is an intuitively clear upper bound on what information an erasure policy permits to be retained. Our hierarchy allows a rich class of erasure policies to be expressed, taking account of the power of the attacker, how much information may be retained, and under what conditions it may be retained. While our main aim is to specify erasure policies, the semantic framework allows quite general information-flow policies to be formulated for a variety of semantic notions of secrecy.Comment: 18 pages, ICISS 201

Influences on children’s attainment and progress in Key Stage 2: cognitive outcomes in Year 6

These reports forms part of a set of two reports that examine key influences on children’s Maths, English and social behavioural outcomes (self-regulation, pro-social behaviour, hyperactivity and anti-social behaviour) in Year 6 and on their progress across Key Stage 2. The sister report describes the results of analyses on children’s social/behavioural outcomes (ref: DCSF-RR049). The report is from the effective pre-school and primary education 3 to 11 project (EPPE 3 to 11) which is longitudinal study using multi-level modelling investigating the effects of home background, pre-school and primary education on pupils’ attainment and social / behavioural development. Around 3,000 children were recruited from 141 pre-school settings in 6 English LEAs at the age of 3+ between 1996 and 1999. The study followed these children through pre-school and into more than 900 primary schools in 100 local authorities

K3-fibered Calabi-Yau threefolds I, the twist map

A construction of Calabi-Yaus as quotients of products of lower-dimensional spaces in the context of weighted hypersurfaces is discussed, including desingularisation. The construction leads to Calabi-Yaus which have a fiber structure, in particular one case has K3 surfaces as fibers. These Calabi-Yaus are of some interest in connection with Type II -heterotic string dualities in dimension 4. A section at the end of the paper summarises this for the non-expert mathematician.Comment: 31 pages LaTeX, 11pt, 2 figures. To appear in International Journal of Mathematics. On the web at http://personal-homepages.mis.mpg.de/bhunt/preprints.html , #

Tracking pupil mobility over the pre-school and primary school period: evidence from EPPE 3-11

This report describes the ‘tracking’ of the EPPE 3-11 sample and then goes on to examine the possible influence of mobility on EPPE 3-11 children’s cognitive progress and social/behavioural development over both the pre-school and primary school period. In the present research ‘mobility’ is defined as having changed pre-school or school centre at least once. The aims of the research are: • To determine possible means of reducing attrition in a longitudinal sample - tracking • To identify any likely predictors of mobility, that is, whether mobile individuals share any defining characteristics; • To investigate the effects of mobility when predicting children’s cognitive and social/behavioural outcomes, controlling for other background factors; • To investigate the effects of children’s mobility in terms of the academic effectiveness of the schools attended and to which children moved