Barriers to Usable Security? Three Organizational Case Studies

Usable security assumes that when security functions are more usable, people are more likely to use them, leading to an improvement in overall security. Existing software design and engineering processes provide little guidance for leveraging this in the development of applications. Three case studies explore organizational attempts to provide usable security products

Climate response to large, high-latitude and low-latitude volcanic eruptions in the Community Climate System Model

Explosive volcanism is known to be a leading natural cause of climate change. The second half of the 13th century was likely the most volcanically perturbed half-century of the last 2000 years, although none of the major 13th century eruptions have been clearly attributed to specific volcanoes. This period was in general a time of transition from the relatively warm Medieval period to the colder Little Ice Age, but available proxy records are insufficient on their own to clearly assess whether this transition is associated with volcanism. This context motivates our investigation of the climate system sensitivity to high- and low-latitude volcanism using the fully coupled NCAR Community Climate System Model (CCSM3). We evaluate two sets of ensemble simulations, each containing four volcanic pulses, with the first set representing them as a sequence of tropical eruptions and the second representing eruptions occurring in the mid-high latitudes of both the Northern and Southern hemispheres. The short-term, direct radiative impacts of tropical and high- latitude eruptions include significant cooling over the continents in summer and cooling over regions of increased sea-ice concentration in Northern Hemisphere (NH) winter. A main dynamical impact of moderate tropical eruptions is a winter warming pattern across northern Eurasia. Furthermore, both ensembles show significant reductions in global precipitation, especially in the summer monsoon regions. The most important long-term impact is the cooling of the high-latitude NH produced by multiple tropical eruptions, suggesting that positive feedbacks associated with ice and snow cover could lead to long-term climate cooling in the Arctic

Coherent Control of Quantum Chaotic Diffusion

Extensive coherent control over quantum chaotic diffusion using the kicked rotor model is demonstrated and its origin in deviations from random matrix theory is identified. Further, the extent of control in the presence of external decoherence is established. The results are relevant to both areas of quantum chaos and coherent control.Comment: 4 pages, 4 figures, to appear in Phys. Rev. Let

Influence of human impact and bedrock differences on the vegetational history of the Insubrian Southern Alps

Vegetation history for the study region is reconstructed on the basis of pollen, charcoal and AMS14C investigations of lake sediments from Lago del Segrino (calcareous bedrock) and Lago di Muzzano (siliceous bedrock). Late-glacial forests were characterised byBetula andPinus sylvestris. At the beginning of the Holocene they were replaced by temperate continental forest and shrub communities. A special type of temperate lowland forest, withAbies alba as the most important tree, was present in the period 8300 to 4500 B.P. Subsequently,Fagus, Quercus andAlnus glutinosa were the main forest components andA. alba ceased to be of importance.Castanea sativa andJuglans regia were probably introduced after forest clearance by fire during the first century A.D. On soils derived from siliceous bedrock,C. sativa was already dominant at ca. A.D. 200 (A.D. dates are in calendar years). In limestone areas, however,C. sativa failed to achieve a dominant role. After the introduction ofC. sativa, the main trees were initially oak (Quercus spp.) and later the walnut (Juglans regia). Ostrya carpinifolia became the dominant tree around Lago del Segrino only in the last 100-200 years though it had spread into the area at ca. 5000 cal. B.C. This recent expansion ofOstrya is confirmed at other sites and appears to be controlled by human disturbances involving especially clearance. It is argued that these forests should not be regarded as climax communities. It is suggested that under undisturbed succession they would develop into mixed deciduous forests consisting ofFraxinus excelsior, Tilia, Ulmus, Quercus andAce

Manifolds with small Dirac eigenvalues are nilmanifolds

Consider the class of n-dimensional Riemannian spin manifolds with bounded sectional curvatures and diameter, and almost non-negative scalar curvature. Let r=1 if n=2,3 and r=2^{[n/2]-1}+1 if n\geq 4. We show that if the square of the Dirac operator on such a manifold has $r$ small eigenvalues, then the manifold is diffeomorphic to a nilmanifold and has trivial spin structure. Equivalently, if M is not a nilmanifold or if M is a nilmanifold with a non-trivial spin structure, then there exists a uniform lower bound on the r-th eigenvalue of the square of the Dirac operator. If a manifold with almost nonnegative scalar curvature has one small Dirac eigenvalue, and if the volume is not too small, then we show that the metric is close to a Ricci-flat metric on M with a parallel spinor. In dimension 4 this implies that M is either a torus or a K3-surface

Exponential Gain in Quantum Computing of Quantum Chaos and Localization

We present a quantum algorithm which simulates the quantum kicked rotator model exponentially faster than classical algorithms. This shows that important physical problems of quantum chaos, localization and Anderson transition can be modelled efficiently on a quantum computer. We also show that a similar algorithm simulates efficiently classical chaos in certain area-preserving maps.Comment: final published versio

Timed Implementation Relations for the Distributed Test Architecture

In order to test systems that have physically distributed interfaces, called ports, we might use a distributed approach in which there is a separate tester at each port. If the testers do not synchronise during testing then we cannot always determine the relative order of events observed at different ports and this leads to new notions of correctness that have been described using corresponding implementation relations. We study the situation in which each tester has a local clock and timestamps its observations. If we know nothing about how the local clocks relate then this does not affect the implementation relation while if the local clocks agree exactly then we can reconstruct the sequence of observations made. In practice, however, we are likely to be between these extremes: the local clocks will not agree exactly but we have some information regarding how they can differ. We start by assuming that a local tester interacts synchronously with the corresponding port of the system under test and then extend this to the case where communications can be asynchronous, considering both the first-in-first-out (FIFO) case and the non-FIFO case. The new implementation relations are stronger than implementation relations for distributed testing that do not use timestamps but still reflect the distributed nature of observations. This paper explores these alternatives and derives corresponding implementation relations

Quantum computing of quantum chaos and imperfection effects

We study numerically the imperfection effects in the quantum computing of the kicked rotator model in the regime of quantum chaos. It is shown that there are two types of physical characteristics: for one of them the quantum computation errors grow exponentially with the number of qubits in the computer while for the other the growth is polynomial. Certain similarity between classical and quantum computing errors is also discussed.Comment: revtex, 4 pages, 4 figure

Using schedulers to test probabilistic distributed systems

This is the author's accepted manuscript. The final publication is available at Springer via http://dx.doi.org/10.1007/s00165-012-0244-5. Copyright © 2012, British Computer Society.Formal methods are one of the most important approaches to increasing the confidence in the correctness of software systems. A formal specification can be used as an oracle in testing since one can determine whether an observed behaviour is allowed by the specification. This is an important feature of formal testing: behaviours of the system observed in testing are compared with the specification and ideally this comparison is automated. In this paper we study a formal testing framework to deal with systems that interact with their environment at physically distributed interfaces, called ports, and where choices between different possibilities are probabilistically quantified. Building on previous work, we introduce two families of schedulers to resolve nondeterministic choices among different actions of the system. The first type of schedulers, which we call global schedulers, resolves nondeterministic choices by representing the environment as a single global scheduler. The second type, which we call localised schedulers, models the environment as a set of schedulers with there being one scheduler for each port. We formally define the application of schedulers to systems and provide and study different implementation relations in this setting