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.

Numerical Solution of the Upper-Convected Maxwell Model for Three-Dimensional Free Surface Flows

This work presents a finite difference technique for simulating three-dimensional free surface flows governed by the Upper-Convected Maxwell (UCM) constitutive equation. A Marker-and-Cell approach is employed to represent the fluid free surface and formulations for calculating the non-Newtonian stress tensor on solid boundaries are developed. The complete free surface stress conditions are employed. The momentum equation is solved by an implicit technique while the UCM constitutive equation is integrated by the explicit Euler method. The resulting equations are solved by the finite difference method on a 3D-staggered grid. By using an exact solution for fully developed flow inside a pipe, validation and convergence results are provided. Numerical results include the simulation of the transient extrudate swell and the comparison between jet buckling of UCM and Newtonian fluids.

Synthesis, Structure, and Phosphatase-Like Activity of a New Trinuclear Gd Complex with the Unsymmetrical Ligand H(3)L As a Model for Nucleases

The new trinuclear gadolinium complex [Gd(3)L(2)(NO(3))(2)(H(2)O)(4)]NO(3)center dot 8H(2)O (1) with the unsymmetrical ligand 2-[N-bis-(2-pyridylmethyl)aminomethyl]-4-methyl-6-[N-bis(2-hydroxy-2-oxoethyl)aminomethyl] phenol (H(3)L) was synthesized and characterized. The new ligand H(3)L was obtained in good yield. Complex I crystallizes in an orthorhombic cell, space group Pcab. Kinetic studies show that complex 1 is highly active in the hydrolysis of the substrate 2,4-bis(dinitrophenyl)phosphate (K(m) = 4.09 mM, V(max) = 2.68 x 10(-2) mM s(-1), and k(cat) = V(max)/[1] = 0.67 s(-1)). Through a potentiometric study and determination of the kinetic behavior of 1 in acetonitrile/water solution, the species present in solution could be identified, and a trinuclear monohydroxo species appears to be the most prominent catalyst under mild conditions. Complex 1 displays high efficiency in DNA hydrolytic cleavage, and complete kinetic studies were carried out (K(m) = 4.57 x 10(-4) M, K(cat)` = 3.42 h(-1), and k(cat)`/K(m) = 7.48 x 10(3) M(-1) h(-1)). Studies with a radical scavenger (dimethyl sulfoxide, DMSO) showed that it did not inhibit the activity, indicating the hydrolytic action of 1 in the cleavage of DNA, and studies on the incubation of distamycin with plasmid DNA suggest that 1 is regio-specific, interacting with the minor groove of DNA.

Effects of Micelles and Vesicles on the Oximolysis of p-Nitrophenyl Diphenyl Phosphate: A Model System for Surfactant-Based Skin-defensive Formulations against Organophosphates

The rates of oximolysis of p-nitrophenyl diphenyl phosphate (PNPDPP) by Acetophenoxime; 10-phenyl-10-hydi-oxyiminodecanoic acid; 4-(9-carboxynonanyl)-1-(9-carboxy-1-hydroyiminononanyl) benzene; 1-dodecyl-2-[(hydroxyimino)methyl]-pyridinium chloride (IV) and N-methylpyridinium-2-aldoxime chloride were determined in micelles of N-hexadecyl-N,N,N-trimethylammonium chloride (CTAC), N-hexadecyl-N,N-dimethylammonium propanesulfonate and dioctadecyldimethylammonium chloride (DODAC) vesicles. The effects of CTAC micelles and DODAC vesicles on the rates of oxymolysis of O,O-Diethyl O-(4-nitrophenyl) phosphate (paraoxon) by oxime IV were also determined. Analysis of micellar and vesicular effects on oximolysis of PNPDPP, using pseudophase or pseudophase with explicit consideration of ion exchange models, required the determination of the aggregate`s effects on the pK(a), of oximes and on the rates of PNPDPP hydrolysis. All aggregates increased the rate of oximolysis of PNPDPP and the results were analyzed quantitatively. In particular, DODAC vesicles catalyzed the reaction and increased the rate of oximolysis of PNPDPP by IV several million fold at pH`s compatible with pharmaceutical formulations. The rate increase produced by DODAC vesicles on the rate of oximolysis paraoxon by IV demonstrates the pharmaceutical potential of this system, since the substrate is used as an agricultural defensive agent and the surfactant is extensively employed in cosmetic formulations. (C) 2008 Wiley-Liss, Inc. and the American Pharmacists Association J Pharm Sci 98:1040-1052, 2009