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

ScotGrid: A Prototype Tier 2 Centre

ScotGrid is a prototype regional computing centre formed as a collaboration between the universities of Durham, Edinburgh and Glasgow as part of the UK's national particle physics grid, GridPP. We outline the resources available at the three core sites and our optimisation efforts for our user communities. We discuss the work which has been conducted in extending the centre to embrace new projects both from particle physics and new user communities and explain our methodology for doing this.Comment: 4 pages, 4 diagrams. Presented at Computing for High Energy and Nuclear Physics 2004 (CHEP '04). Interlaken, Switzerland, September 200

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

Molecular cooling in the diffuse interstellar medium

We use a simple one-zone model of the thermal and chemical evolution of interstellar gas to study whether molecular hydrogen (H2) is ever an important coolant of the warm, diffuse interstellar medium (ISM). We demonstrate that at solar metallicity, H2 cooling is unimportant and the thermal evolution of the ISM is dominated by metal line cooling. At metallicities below 0.1 Z_solar, however, metal line cooling of low density gas quickly becomes unimportant and H2 can become the dominant coolant, even though its abundance in the gas remains small. We investigate the conditions required in order for H2 to dominate, and show that it provides significant cooling only when the ratio of the interstellar radiation field strength to the gas density is small. Finally, we demonstrate that our results are insensitive to changes in the initial fractional ionization of the gas or to uncertainties in the nature of the dust present in the low-metallicity ISM.Comment: 13 pages, 6 figures. Minor changes to match version accepted by MNRA

The nature of 1WGA J1958.2+3232: a new intermediate polar

We present low and intermediate resolution spectroscopy of the optical counterpart to the recently discovered pulsating X-ray source 1WGA J1958.2+3232. The presence of strong HI , HeI and HeII emission lines together with the absence of absorption features rules out the possibility that the object is a massive star, as had recently been suggested. The observed X-ray and optical characteristics are consistent with the object being an intermediate polar. The double-peaked structure of the emission lines indicates that an accretion disc is present

Approximations for modelling CO chemistry in GMCs: a comparison of approaches

We examine several different simplified approaches for modelling the chemistry of CO in three-dimensional numerical simulations of turbulent molecular clouds. We compare the different models both by looking at the behaviour of integrated quantities such as the mean CO fraction or the cloud-averaged CO-to-H2 conversion factor, and also by studying the detailed distribution of CO as a function of gas density and visual extinction. In addition, we examine the extent to which the density and temperature distributions depend on our choice of chemical model. We find that all of the models predict the same density PDF and also agree very well on the form of the temperature PDF for temperatures T > 30 K, although at lower temperatures, some differences become apparent. All of the models also predict the same CO-to-H2 conversion factor, to within a factor of a few. However, when we look more closely at the details of the CO distribution, we find larger differences. The more complex models tend to produce less CO and more atomic carbon than the simpler models, suggesting that the C/CO ratio may be a useful observational tool for determining which model best fits the observational data. Nevertheless, the fact that these chemical differences do not appear to have a strong effect on the density or temperature distributions of the gas suggests that the dynamical behaviour of the molecular clouds on large scales is not particularly sensitive to how accurately the small-scale chemistry is modelled.Comment: 18 pages, 10 figures. Minor revisions, including the addition of a comparison of simulated and observed C/CO ratios. Accepted by MNRA

Communications network design and costing model programmers manual

Otpimization algorithms and techniques used in the communications network design and costing model for least cost route and least cost network problems are examined from the programmer's point of view. All system program modules, the data structures within the model, and the files which make up the data base are described

Communications network design and costing model technical manual

This computer model provides the capability for analyzing long-haul trunking networks comprising a set of user-defined cities, traffic conditions, and tariff rates. Networks may consist of all terrestrial connectivity, all satellite connectivity, or a combination of terrestrial and satellite connectivity. Network solutions provide the least-cost routes between all cities, the least-cost network routing configuration, and terrestrial and satellite service cost totals. The CNDC model allows analyses involving three specific FCC-approved tariffs, which are uniquely structured and representative of most existing service connectivity and pricing philosophies. User-defined tariffs that can be variations of these three tariffs are accepted as input to the model and allow considerable flexibility in network problem specification. The resulting model extends the domain of network analysis from traditional fixed link cost (distance-sensitive) problems to more complex problems involving combinations of distance and traffic-sensitive tariffs

Evidence that widespread star formation may be underway in G0.253+016, "The Brick"

Image cubes of differential column density as a function of dust temperature are constructed for Galactic Centre molecular cloud G0.253+0.016 ("The Brick") using the recently described PPMAP procedure. The input data consist of continuum images from the Herschel Space Telescope in the wavelength range 70-500 $\mu$m, supplemented by previously published interferometric data at 1.3 mm wavelength. While the bulk of the dust in the molecular cloud is consistent with being heated externally by the local interstellar radiation field, our image cube shows the presence, near one edge of the cloud, of a filamentary structure whose temperature profile suggests internal heating. The structure appears as a cool ($\sim 14$ K) tadpole-like feature, $\sim 6$ pc in length, in which is embedded a thin spine of much hotter ($\sim$ 40-50 K) material. We interpret these findings in terms of a cool filament whose hot central region is undergoing gravitational collapse and fragmentation to form a line of protostars. If confirmed, this would represent the first evidence of widespread star formation having started within this cloud.Comment: 5 pages, 4 figures; accepted for publication in MNRAS Letter