Formal validation of automated policy refinement in the management of network security systems

Policy hierarchies and automated policy refinement are powerful approaches to simplify administration of security services in complex network environments. A crucial issue for the practical use of these approaches is to ensure the validity of the policy hierarchy, i.e. since the policy sets for the lower levels are automatically derived from the abstract policies (defined by the modeller), we must be sure that the derived policies uphold the high-level ones. This paper builds upon previous work on Model-based Management, particularly on the Diagram of Abstract Subsystems approach, and goes further to propose a formal validation approach for the policy hierarchies yielded by the automated policy refinement process. We establish general validation conditions for a multi-layered policy model, i.e. necessary and sufficient conditions that a policy hierarchy must satisfy so that the lower-level policy sets are valid refinements of the higher-level policies according to the criteria of consistency and completeness. Relying upon the validation conditions and upon axioms about the model representativeness, two theorems are proved to ensure compliance between the resulting system behaviour and the abstract policies that are modelled.

Genesis of quantum nonlocality

We revisit the problem of an otherwise classical particle immersed in the zero-point radiation field, with the purpose of tracing the origin of the nonlocality characteristic of Schrodinger`s equation. The Fokker-Planck-type equation in the particles phase-space leads to an infinite hierarchy of equations in configuration space. In the radiationless limit the first two equations decouple from the rest. The first is the continuity equation: the second one, for the particle flux, contains a nonlocal term due to the momentum fluctuations impressed by the field. These equations are shown to lead to Schrodinger`s equation. Nonlocality (obtained here for the one-particle system) appears thus as a property of the description, not of Nature. (C) 2011 Elsevier B.V. All rights reserved.

Scalar form factors and nuclear interactions

The scalar-isoscalar term in the two-pion exchange NN potential is abnormally large and does not respect the hierarchy of effects predicted by chiral perturbation theory. We argue that this anomaly is associated with non-perturbative effects, which are also present in the pi N scalar form factor.

The spectrum of an open vertex model based on the U(q)[SU(2)] algebra at roots of unity

We study the exact solution of an N-state vertex model based on the representation of the U(q)[SU(2)] algebra at roots of unity with diagonal open boundaries. We find that the respective reflection equation provides us one general class of diagonal K-matrices having one free-parameter. We determine the eigenvalues of the double-row transfer matrix and the respective Bethe ansatz equation within the algebraic Bethe ansatz framework. The structure of the Bethe ansatz equation combine a pseudomomenta function depending on a free-parameter with scattering phase-shifts that are fixed by the roots of unity and boundary variables. (C) 2010 Elsevier B.V. All rights reserved.

Trigger and aperture of the surface detector array of the Pierre Auger Observatory

The surface detector array of the Pierre Auger Observatory consists of 1600 water-Cherenkov detectors, for the study of extensive air showers (EAS) generated by ultra-high-energy cosmic rays. We describe the trigger hierarchy, from the identification of candidate showers at the level of a single detector, amongst a large background (mainly random single cosmic ray muons), up to the selection of real events and the rejection of random coincidences. Such trigger makes the surface detector array fully efficient for the detection of EAS with energy above 3 x 10(18) eV, for all zenith angles between 0 degrees and 60 degrees, independently of the position of the impact point and of the mass of the primary particle. In these range of energies and angles, the exposure of the surface array can be determined purely on the basis of the geometrical acceptance. (C) 2009 Elsevier B.V. All rights reserved.

Metabolic oxidative stress elicited by the copper(II) complex [Cu(isaepy)(2)] triggers apoptosis in SH-SY5Y cells through the induction of the AMP-activated protein kinase/p38(MAPK)/p53 signalling axis: evidence for a combined use with 3-bromopyruvate in neuroblastoma treatment

We have demonstrated previously that the complex bis[(2-oxindol-3-ylimino)-2-(2-aminoethyl)pyridine-N,N`]copper(II), named [Cu(isaepy)(2)], induces AMPK (AMP-activated protein kinase)-dependent/p53-mediated apoptosis in tumour cells by targeting mitochondria. In the present study, we found that p38(MAPK) (p38 mitogen-activated protein kinase) is the molecular link in the phosphorylation cascade connecting AMPK to p53. Transfection of SH-SY5Y cells with a dominant-negative mutant of AMPK resulted in a decrease in apoptosis and a significant reduction in phospho-active p38(MAPK) and p53. Similarly, reverse genetics of p38(MAPK) yielded a reduction in p53 and a decrease in the extent of apoptosis, confirming an exclusive hierarchy of activation that proceeds via AMPK/p38(MAPK)/p53. Fuel supplies counteracted [Cu(isaepy)(2)]-induced apoptosis and AMPK/p38(MAPK)/p53 activation, with glucose being the most effective, suggesting a role for energetic imbalance in [Cu(isaepy)(2)] toxicity. Co-administration of 3BrPA (3-bromopyruvate), a well-known inhibitor of glycolysis, and succinate dehydrogenase, enhanced apoptosis and AMPK/p38(MAPK)/p53 signalling pathway activation. Under these conditions, no toxic effect was observed in SOD (superoxide dismutase)-overexpressing SH-SY5Y cells or in PCNs (primary cortical neurons), which are, conversely, sensitized to the combined treatment with [Cu(isaepy)(2)] and 3BrPA only if grown in low-glucose medium or incubated with the glucose-6-phosphate dehydrogenase inhibitor dehydroepiandrosterone. Overall, the results suggest that NADPH deriving from the pentose phosphate pathway contributes to PCN resistance to [Cu(isaepy)(2)] toxicity and propose its employment in combination with 3BrPA as possible tool for cancer treatment.