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.

Design and validation of a sheet metal shearing experimental procedure

Throughout the industrial processes of sheet metal manufacturing and refining, shear cutting is widely used for its speed and cost advantages over competing cutting methods. Industrial shears may include some force measurement possibilities, but the force is most likely influenced by friction losses between shear tool and the point of measurement, and are in general not showing the actual force applied to the sheet. Well defined shears and accurate measurements of force and shear tool position are important for understanding the influence of shear parameters. Accurate experimental data are also necessary for calibration of numerical shear models. Here, a dedicated laboratory set-up with well defined geometry and movement in the shear, and high measurability in terms of force and geometry is designed, built and verified. Parameters important to the shear process are studied with perturbation analysis techniques and requirements on input parameter accuracy are formulated to meet experimental output demands. Input parameters in shearing are mostly geometric parameters, but also material properties and contact conditions. Based on the accuracy requirements, a symmetric experiment with internal balancing of forces is constructed to avoid guides and corresponding friction losses. Finally, the experimental procedure is validated through shearing of a medium grade steel. With the obtained experimental set-up performance, force changes as result of changes in studied input parameters are distinguishable down to a level of 1%.

A comparison of test of non-linear cointegration with an application to the predictability of US interest rates using the term structure

We evaluate the forecasting performance of a number of systems models of US shortand long-term interest rates. Non-linearities, induding asymmetries in the adjustment to equilibrium, are shown to result in more accurate short horizon forecasts. We find that both long and short rates respond to disequilibria in the spread in certain circumstances, which would not be evident from linear representations or from single-equation analyses of the short-term interest rate.

Validation of the Deardorff model for estimating energy balance components for a sugarcane crop

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Validation of microsatellite markers for assisted selection of soybean genotypes resistant to powdery mildew

Powdery mildew is one of the most serious diseases of soybean and is found in all producing countries. The purpose of this study was to validate microsatellite markers previously identified as associated with resistance to powdery mildew in soybean. The study was conducted in two F, parent populations with contrasting resistance to powdery mildew, In the analysis 10 SSR primers were used for the populations. and tour polymorphic markers were identified for cross I (MGBR95-20937 x IAC-Foscarin 31) and three for cross 2 (MGBR-46 x Empresa Brasileira de Pesquisa Agropecuária (EMBRAPA) 48). The Chi-square analysis of the phenotypic evaluation confirmed the expected segregation (3: 1) of a dominant gene related to resistance. The polymorphic markers also segregated as expected (1:2:1). The markers Sat 366 and Sat 393 in the crosses 1 and 2. respectively, located at 9.41 and 12.45 cM from the gene. were considered promising for marker-assisted selection for resistance to powdery mildew in soybean. at a selection efficiency of 92.7% and 60.3% respectively.

Selection and validation of reference genes for gene expression studies by reverse transcription quantitative PCR in Xanthomonas citri subsp citri during infection of Citrus sinensis

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Effects of gamma-irradiation on caprolactam level from multilayer PA-6 films for food packaging: Development and validation of a gas chromatographic method

A gas chromatographic method to determine caprolactam in multilayer PA-6 films used for meat foodstuffs and cheese was developed and validated. A wide linear range (0.8-400 mu g/ml), RSD <= 4.1% and recovery higher than 90.0% were obtained for the chromatographic system, while precision and accuracy of the method showed RSD <= 3.8%, recovery from 95.5-100.0% and LOQ of 32 mu g/g. Irradiated (3, 7 and 12 kGy) and non-irradiated commercial films were analyzed. Most of them increased caprolactam levels with the increase of irradiation doses. (C) 2008 Elsevier Ltd. All rights reserved.

EFFECT of GAMMA IRRADIATION on CAPROLACTAM MIGRATION FROM MULTILAYER POLYAMIDE 6 FILMS INTO WATER FOOD SIMULANT and VALIDATION of THE METHOD

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)