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.

Satellite Rainfall Estimates Over South America - Possible Applicability to the Water Management of Large Watersheds1

This work analyzes high-resolution precipitation data from satellite-derived rainfall estimates over South America, especially over the Amazon Basin. The goal is to examine whether satellite-derived precipitation estimates can be used in hydrology and in the management of larger watersheds of South America. High spatial-temporal resolution precipitation estimates obtained with the CMORPH method serve this purpose while providing an additional hydrometeorological perspective on the convective regime over South America and its predictability. CMORPH rainfall estimates at 8-km spatial resolution for 2003 and 2004 were compared with available rain gauge measurements at daily, monthly, and yearly accumulation time scales. The results show the correlation between satellite-derived and gauge-measured precipitation increases with accumulation period from daily to monthly, especially during the rainy season. Time-longitude diagrams of CMORPH hourly rainfall show the genesis, strength, longevity, and phase speed of convective systems. Hourly rainfall analyses indicate that convection over the Amazon region is often more organized than previously thought, thus inferring that basin scale predictions of rainfall for hydrological and water management purposes have the potential to become more skillful. Flow estimates based on CMORPH and the rain gauge network are compared to long-term observed average flow. The results suggest this satellite-based rainfall estimation technique has considerable utility. Other statistics for monthly accumulations also suggest CMORPH can be an important source of rainfall information at smaller spatial scales where in situ observations are lacking.

Critical, issues and needs in management of primary immunodeficiency diseases in Latin America

Experts from six Latin American countries met to discuss critical issues and needs in the diagnosis and management of primary immunodeficiency diseases (PIDD). The diagnosis of PIDD is generally made following referral to an immunology centre located in a major city, but many paediatricians and general practitioners are not sufficiently trained to suspect PIDD in the first place. Access to laboratory testing is generally limited, and only some screening tests are typically covered by government health programmes. Specialised diagnostic tests are generally not reimbursed. Access to treatment varies by country reflecting differences in healthcare systems and reimbursement policies. An online PIDD Registry Programme for Latin America has been available since 2009, which will provide information about PIDD epidemiology in the region. Additional collaboration across countries appears feasible in at least two areas: a laboratory network to facilitate the diagnosis of PIDD, and educational programmes to improve PIDD awareness. In total, these collaborations should make it possible to advance the diagnosis and management of PIDD in Latin America. (C) 2010 SEICAP. Published by Elsevier Espana, S.L. All rights reserved.