Security policy refinement using data integration: a position paper.

In spite of the wide adoption of policy-based approaches for security management, and many existing treatments of policy verification and analysis, relatively little attention has been paid to policy refinement: the problem of deriving lower-level, runnable policies from higher-level policies, policy goals, and specifications. In this paper we present our initial ideas on this task, using and adapting concepts from data integration. We take a view of policies as governing the performance of an action on a target by a subject, possibly with certain conditions. Transformation rules are applied to these components of a policy in a structured way, in order to translate the policy into more refined terms; the transformation rules we use are similar to those of global-as-view database schema mappings, or to extensions thereof. We illustrate our ideas with an example. Copyright 2009 ACM

Condensation of Tubular D2-branes in Magnetic Field Background

It is known that in the Minkowski vacuum a bunch of IIA superstrings with D0-branes can be blown-up to a supersymmetric tubular D2-brane, which is supported against collapse by the angular momentum generated by crossed electric and magnetic Born-Infeld (BI) fields. In this paper we show how the multiple, smaller tubes with relative angular momentum could condense to a single, larger tube to stabilize the system. Such a phenomena could also be shown in the systems under the Melvin magnetic tube or uniform magnetic field background. However, depending on the magnitude of field strength, a tube in the uniform magnetic field background may split into multiple, smaller tubes with relative angular momentum to stabilize the system.Comment: Latex 10 pages, mention the dynamical joining of the tubes, modify figure

(Anti-)Evaporation of Schwarzschild-de Sitter Black Holes

We study the quantum evolution of black holes immersed in a de Sitter background space. For black holes whose size is comparable to that of the cosmological horizon, this process differs significantly from the evaporation of asymptotically flat black holes. Our model includes the one-loop effective action in the s-wave and large N approximation. Black holes of the maximal mass are in equilibrium. Unexpectedly, we find that nearly maximal quantum Schwarzschild-de Sitter black holes anti-evaporate. However, there is a different perturbative mode that leads to evaporation. We show that this mode will always be excited when a pair of cosmological holes nucleates.Comment: 16 pages, LaTeX2e; submitted to Phys. Rev.

On the normalization of Killing vectors and energy conservation in two-dimensional gravity

We explicitly show that, in the context of a recently proposed 2D dilaton gravity theory, energy conservation requires the ``natural'' Killing vector to have, asymptotically, an unusual normalization. The Hawking temperature $T_H$ is then calculated according to this prescription.Comment: 7 pages, Latex, no figure

Soluble models in 2d dilaton gravity

A one-parameter class of simple models of two-dimensional dilaton gravity, which can be exactly solved including back-reaction effects, is investigated at both classical and quantum levels. This family contains the RST model as a special case, and it continuously interpolates between models having a flat (Rindler) geometry and a constant curvature metric with a non-trivial dilaton field. The processes of formation of black hole singularities from collapsing matter and Hawking evaporation are considered in detail. Various physical aspects of these geometries are discussed, including the cosmological interpretation.Comment: 15 pages, harvmac, 3 figure

High quality superconducting niobium films produced by Ultra High Vacuum Cathodic Arc

The vacuum arc is a well-known technique to produce coating with enhanced adhesion and film density. Many cathodic arc deposition systems are actually in use in industry and research. They all work under (high) vacuum conditions in which water vapor pressure is an important source of film contamination, especially in the pulsed arc mode of operation. Here we present a Cathodic Arc system working under Ultra High Vacuum conditions (UHVCA). UHVCA has been used to produce ultra-pure niobium films with excellent structural and electrical properties at a deposition temperature lower than 100oC. The UHVCA technique therefore opens new perspectives for all applications requiring ultra-pure films or, as in the case of Plasma Immersion Ion Implantation, ultra-pure plasmas.Comment: submitted to AP

Model of black hole evolution

From the postulate that a black hole can be replaced by a boundary on the apparent horizon with suitable boundary conditions, an unconventional scenario for the evolution emerges. Only an insignificant fraction of energy of order $(mG)^{-1}$ is radiated out. The outgoing wave carries a very small part of the quantum mechanical information of the collapsed body, the bulk of the information remaining in the final stable black hole geometry.Comment: 9 pages, harvmac, 3 figures, minor addition

Expressive Policy Analysis with Enhanced System Dynamicity

Despite several research studies, the effective analysis of policy based systems remains a significant challenge. Policy analysis should at least (i) be expressive (ii) take account of obligations and authorizations, (iii) include a dynamic system model, and (iv) give useful diagnostic information. We present a logic-based policy analysis framework which satisfies these requirements, showing how many significant policy-related properties can be analysed, and we give details of a prototype implementation. Copyright 2009 ACM

Model of black hole evolution

From the postulate that a black hole can be replaced by a boundary on the apparent horizon with suitable boundary conditions, an unconventional scenario for the evolution emerges. Only an insignificant fraction of energy of order $(mG)^{-1}$ is radiated out. The outgoing wave carries a very small part of the quantum mechanical information of the collapsed body, the bulk of the information remaining in the final stable black hole geometry.Comment: 9 pages, harvmac, 3 figures, minor addition