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.

TOWARD SEMANTIC WEB SERVICES AS MVC APPLICATIONS: FROM OWL-S VIA UML

OWL-S is an application of OWL, the Web Ontology Language, that describes the semantics of Web Services so that their discovery, selection, invocation and composition can be automated. The research literature reports the use of UML diagrams for the automatic generation of Semantic Web Service descriptions in OWL-S. This paper demonstrates a higher level of automation by generating complete complete Web applications from OWL-S descriptions that have themselves been generated from UML. Previously, we proposed an approach for processing OWL-S descriptions in order to produce MVC-based skeletons for Web applications. The OWL-S ontology undergoes a series of transformations in order to generate a Model-View-Controller application implemented by a combination of Java Beans, JSP, and Servlets code, respectively. In this paper, we show in detail the documents produced at each processing step. We highlight the connections between OWL-S specifications and executable code in the various Java dialects and show the Web interfaces that result from this process.

Influence from the sulfonate group (RSO(3)(-)) on the conversion process and emission efficiency of poly(p-phenylene vinylene)

The discovery of an alternative route to convert poly(xylyliden tetrahydrothiophenium chloride) (PTHT) into poly(p-phenylene vinylene) (PPV) using dodecylbenzenesulfonate (DBS) has allowed the formation of ultrathin films with unprecedented control of architecture and emission properties. In this work, we show that this route may be performed with several sufonated compounds where RSO(3)(-) replaces the counter-ion (Cl(-)) of PTHT, some of which are even more efficient than DBS. Spin-coating films were produced from PTHT and azo-dye molecules, an azo-polymer and organic salts as counter-ions of PTHT. The effects of the thermal annealing step of PTHT/RSO(3)(-) films at 110 and 230 degrees C were monitored by measuring the absorption and emission spectra. The results indicate that the exchange of the counterion Cl(-) of PTHT by a linear long chain with RSO(3)(-) group is a general procedure to obtain PPV polymer at lower conversion temperature (ca. 110 degrees C) with significant increase in the emission efficiency, regardless of the chemical position and the number of sulfonate groups. With the enhanced emission caused by Congo Red and Tinopal as counter-ions, it is demonstrated that the new synthetic route is entirely generic, which may allow accurate control of conversion and emission properties. (C) 2010 Elsevier B.V. All rights reserved.