Very static enforcement of dynamic policies

Security policies are naturally dynamic. Reflecting this, there has been a growing interest in studying information-flow properties which change during program execution, including concepts such as declassification, revocation, and role-change. A static verification of a dynamic information flow policy, from a semantic perspective, should only need to concern itself with two things: 1) the dependencies between data in a program, and 2) whether those dependencies are consistent with the intended flow policies as they change over time. In this paper we provide a formal ground for this intuition. We present a straightforward extension to the principal flow-sensitive type system introduced by Hunt and Sands (POPL’06, ESOP’11) to infer both end-to-end dependencies and dependencies at intermediate points in a program. This allows typings to be applied to verification of both static and dynamic policies. Our extension preserves the principal type system’s distinguishing feature, that type inference is independent of the policy to be enforced: a single, generic dependency analysis (typing) can be used to verify many different dynamic policies of a given program, thus achieving a clean separation between (1) and (2). We also make contributions to the foundations of dynamic information flow. Arguably, the most compelling semantic definitions for dynamic security conditions in the literature are phrased in the so-called knowledge-based style. We contribute a new definition of knowledge-based progress insensitive security for dynamic policies. We show that the new definition avoids anomalies of previous definitions and enjoys a simple and useful characterisation as a two-run style property

Localized f electrons in CexLa1-xRhIn5: dHvA Measurements

Measurements of the de Haas-van Alphen effect in CexLa1-xRhIn5 reveal that the Ce 4f electrons remain localized for all x, with the mass enhancement and progressive loss of one spin from the de Haas-van Alphen signal resulting from spin fluctuation effects. This behavior may be typical of antiferromagnetic heavy fermion compounds, inspite of the fact that the 4f electron localization in CeRhIn5 is driven, in part, by a spin-density wave instability.Comment: 4 pages, 4 figures, submitted to PR

The Fueling and Evolution of AGN: Internal and External Triggers

In this chapter, I review the fueling and evolution of active galactic nuclei (AGN) under the influence of internal and external triggers, namely intrinsic properties of host galaxies (morphological or Hubble type, color, presence of bars and other non-axisymmetric features, etc) and external factors such as environment and interactions. The most daunting challenge in fueling AGN is arguably the angular momentum problem as even matter located at a radius of a few hundred pc must lose more than 99.99 % of its specific angular momentum before it is fit for consumption by a BH. I review mass accretion rates, angular momentum requirements, the effectiveness of different fueling mechanisms, and the growth and mass density of black BHs at different epochs. I discuss connections between the nuclear and larger-scale properties of AGN, both locally and at intermediate redshifts, outlining some recent results from the GEMS and GOODS HST surveys.Comment: Invited Review Chapter to appear in LNP Volume on "AGN Physics on All Scales", Chapter 6, in press. 40 pages, 12 figures. Typo in Eq 5 correcte

Quantitative X-ray microanalysis of submicron carbide formation in chromium (III) oxide rich scale

This paper discusses the chemical microanalysis techniques adapted to identify the precipitates that form on the surface of, or within, the oxide scale of a Fe-22Cr ferritic steel during exposure to a carbon-monoxide rich environment at 750C for 800 hours. Examination of oxidized test coupons revealed the presence of a fiber like structure at the surface, shown in figure 1. Other studies have reported that these structures are carbon precipitates

Customer emotions in service failure and recovery encounters

Emotions play a significant role in the workplace, and considerable attention has been given to the study of employee emotions. Customers also play a central function in organizations, but much less is known about customer emotions. This chapter reviews the growing literature on customer emotions in employee–customer interfaces with a focus on service failure and recovery encounters, where emotions are heightened. It highlights emerging themes and key findings, addresses the measurement, modeling, and management of customer emotions, and identifies future research streams. Attention is given to emotional contagion, relationships between affective and cognitive processes, customer anger, customer rage, and individual differences

Measurement of the mass difference between top quark and antiquark in pp collisions at root s=8 TeV

Peer reviewe