Scalable model-based configuration management of security services in complex enterprise networks

Security administrators face the challenge of designing, deploying and maintaining a variety of configuration files related to security systems, especially in large-scale networks. These files have heterogeneous syntaxes and follow differing semantic concepts. Nevertheless, they are interdependent due to security services having to cooperate and their configuration to be consistent with each other, so that global security policies are completely and correctly enforced. To tackle this problem, our approach supports a comfortable definition of an abstract high-level security policy and provides an automated derivation of the desired configuration files. It is an extension of policy-based management and policy hierarchies, combining model-based management (MBM) with system modularization. MBM employs an object-oriented model of the managed system to obtain the details needed for automated policy refinement. The modularization into abstract subsystems (ASs) segment the system-and the model-into units which more closely encapsulate related system components and provide focused abstract views. As a result, scalability is achieved and even comprehensive IT systems can be modelled in a unified manner. The associated tool MoBaSeC (Model-Based-Service-Configuration) supports interactive graphical modelling, automated model analysis and policy refinement with the derivation of configuration files. We describe the MBM and AS approaches, outline the tool functions and exemplify their applications and results obtained. Copyright (C) 2010 John Wiley & Sons, Ltd.

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.

Systematic Management of Variability in UML-based Software Product Lines

This paper presents SMarty, a variability management approach for UML-based software product lines (PL). SMarty is supported by a UML profile, the SMartyProfile, and a process for managing variabilities, the SMartyProcess. SMartyProfile aims at representing variabilities, variation points, and variants in UML models by applying a set of stereotypes. SMartyProcess consists of a set of activities that is systematically executed to trace, identify, and control variabilities in a PL based on SMarty. It also identifies variability implementation mechanisms and analyzes specific product configurations. In addition, a more comprehensive application of SMarty is presented using SEI's Arcade Game Maker PL. An evaluation of SMarty and related work are discussed.

Improvement of radiology services based on the process management approach

The health sector requires continuous investments to ensure the improvement of products and services from a technological standpoint, the use of new materials, equipment and tools, and the application of process management methods. Methods associated with the process management approach, such as the development of reference models of business processes, can provide significant innovations in the health sector and respond to the current market trend for modern management in this sector (Gunderman et al. (2008) [4]). This article proposes a process model for diagnostic medical X-ray imaging, from which it derives a primary reference model and describes how this information leads to gains in quality and improvements. (C) 2010 Elsevier Ireland Ltd. All rights reserved.

Integrating toxicity testing in the wastewater management of chemical storage terminals - A proposal based on a ten-year study

Wastewater control at storage terminals of liquid chemical products in bulk is very difficult because of the variety of products handled in the facilities generating effluents of variable composition. The main objective of this work was to verify if the Vibrio fischeri acute toxicity test could be routinely included in the wastewater management of those facilities along with physical and chemical analysis in order to evaluate and improve the quality of the generated effluents. The study was performed in two phases before and after the implementation of better operational practices/treatment technologies. Chemical oxygen demand (COD) and toxicity of treated effluents did not correlate showing that effluents with low COD contain toxic substances and non-biodegradable organic matter, which may be not degraded when discharged into the aquatic environment. Segregation of influents or pre-treatment based on toxicity results and biodegradability index were implemented in the facilities generating significant improvements in the quality of final effluents with reduction of Biochemical oxygen demand (BOD) and toxicity. The integration of physical and chemical analysis with the V.fischeri toxicity test turned out to be an excellent tool for wastewater management in chemical terminals allowing rapid decision making for pollution control and prevention measures. Reuse of rain water was also proposed and when implemented by the facilities resulted in economical and environmental benefits. (C) 2010 Elsevier B.V. All rights reserved.

Surgical management of glomus jugulare tumors: a proposal for approach selection based on tumor relationships with the facial nerve Clinical article

Object. The goal of this paper is to analyze the extension and relationships of glomus jugulare tumor with the temporal bone and the results of its surgical treatment aiming at preservation of the facial nerve. Based on the tumor extension and its relationships with the facial nerve, new criteria to be used in the selection of different surgical approaches are proposed. Methods. Between December 1997 and December 2007, 34 patients (22 female and 12 male) with glomus jugulare tumors were treated. Their mean age was 48 years. The mean follow-up was 52.5 months. Clinical findings included hearing loss in 88%, swallowing disturbance in 50%, and facial nerve palsy in 41%. Magnetic resonance imaging demonstrated a mass in the jugular foramen in all cases, a mass in the middle ear in 97%, a cervical mass in 85%, and an intradural mass in 41%. The tumor was supplied by the external carotid artery in all cases, the internal carotid artery in 44%, and the vertebral artery in 32%. Preoperative embolization was performed in 15 cases. The approach was tailored to each patient, and 4 types of approaches were designed. The infralabyrinthine retrofacial approach (Type A) was used in 32.5%; infralabyrinthine pre- and retrofacial approach without occlusion of the external acoustic meatus (Type B) in 20.5%; infralabyrinthine pre- and retrofacial approach with occlusion of the external acoustic meatus (Type C) in 41 W. and the infralabyrinthine approach with transposition of the facial nerve and removal of the middle ear structures (Type D) in 6% of the patients. Results. Radical removal was achieved in 91% of the cases and partial removal in 9%. Among 20 patients without preoperative facial nerve dysfunction, the nerve was kept in anatomical position in 19 (95%), and facial nerve function was normal during the immediate postoperative period in 17 (85%). Six patients (17.6%) had a new lower cranial nerve deficit, but recovery of swallowing function was adequate in all cases. Voice disturbance remained in all 6 cases. Cerebrospinal fluid leakage occurred in 6 patients (17.6%), with no need for reoperation in any of them. One patient died in the postoperative period due to pulmonary complications. The global recovery, based on the Karnofsky Performance Scale (KPS), was 100% in 15% of the patients, 90% in 45%, 80% in 33%, and 70% in 6%. Conclusions. Radical removal of glomus jugulare tumor can be achieved without anterior transposition of the facial nerve. The extension of dissection, however, should be tailored to each case based on tumor blood supply, preoperative symptoms, and tumor extension. The operative field provided by the retrofacial infralabyrinthine approach, or the pre- and retrofacial approaches. with or without Closure of the external acoustic meatus, allows a wide exposure of the jugular foramen area. Global functional recovery based on the KPS is acceptable in 94% of the patients. (DOI: 10.3171/2008.10.JNS08612)

Comparative Genetic Diversity of Wild and Captive Populations of the Bare-Faced Curassow (Crax fasciolata) Based on Cross-Species Microsatellite Markers: Implications for Conservation and Management

The bare-faced curassow (Crax fasciolata) is a large Neotropical bird that suffers anthropogenic pressure across much of its range. A captive population is maintained for conservation management, although there has been no genetic screening of stocks. Based on the six microsatellite markers developed for Crax globulosa, the genetic variability of C. fasciolata and possible differences between a wild and a captive population were investigated. Only three loci were polymorphic, with a total of 27 alleles. More than half of these alleles were private to the wild (n = 8) or captive (n = 7) populations. Significant deviations from Hardy-Weinberg equilibrium were restricted to the captive population. Despite the number of private alleles, genetic drift has probably promoted differentiation between populations. Our results indicate that wild C. fasciolata populations are genetically impoverished and structured, but species-specific microsatellite markers will be necessary for a more reliable assessment of the species` genetic diversity.

Asthma management and asthma control in Sao Paulo, Brazil and Uppsala, Sweden: a questionnaire-based comparison

The Global Initiative Against Asthma (GINA) was developed to meet the global challenge of asthma. GINA has been adopted in most countries and comparison of asthma management in different parts of the world may be of help when assessing the global dissemination of the guideline. The overall goals in GINA include that asthma patients should be free of symptoms, acute asthma attacks and activity limitations. The aim of the present study was to compare asthma management and asthma control in Sao Paulo, Brazil and Uppsala, Sweden. Information was collected from asthmatics in Sao Paulo and Uppsala with a questionnaire. The questionnaire dealt with the following issues: symptoms, smoking, self-management, hospital visits, effect on school/work and medication. The Sao Paulo patients were more likely to have uncontrolled asthma (36% vs 13%, P < 0.001), having made emergency room visits (57% vs 29%, P < 0.001) and having lost days at school or work because of their asthma (46% vs 28%, P = 0.03) than the asthmatics from Uppsala. There were no difference in the use of inhaled corticosteroids, but the Brazilian patients were more likely to be using theophylline (18% vs 1%, P = 0.001) and less likely to be using long-acting beta-2 agonists (18% vs 37%, P < 0.001). We conclude that the level of asthma control was lower among the patients from Sao Paulo than Uppsala. Few of the patients in either city reached the goals set up by GINA. Improved asthma management may therefore lead to health-economic benefits in both locations. Please cite this paper as: Skorup P, Rizzo LV, Machado-Boman L and Janson C. Asthma management and asthma control in Sao Paulo, Brazil and Uppsala, Sweden: a questionnaire-based comparison. The Clinical Respiratory Journal 2009; 3: 22-28.

Bee communities (Hymenoptera: Anthophila) of the "Cerrado" ecosystem in Sao Paulo State, Brazil

Five surveys of the bee communities in four "Cerrado" ecosystem reserves in Sao Paulo State were compared for species richness and similarity. These areas are fragment vegetation reser-reserves located in the Cerrado Corumbata Reserve (Corumbata), Jata Ecological Park (Luiz Antonio), Cajuru (Cajuru), and Vassununga State Park - ""Gleba de Cerrado de Pe-de-Gigante"" (Santa Rita do Passa Quatro). The methodology consisted of capturing bees foraging on flowers along transects, though with small differences between surveys. These ""cerrado"" areas have a large number of species of native bees, which are important pollinators in several Brazilian ecosystems. The community of bees varied among these different fragments. Based on 500 individuals (standardized by rarefaction), Cajuru, Corumbata 1 and Corumbata 2 were the areas with highest species richness, and Jata and Pe-de-Gigante had the lowest species richness in the bee communities. The bee faunas of Corumbata 2 and Pe-de-Gigante had the highest similarity, forming a group with the bee fauna of Cajuru. The bee faunas of Corumbata 1 and Jata were isolated from this group. We found that the bee species richness and similarity found in these ""cerrado"" areas cannot be explained by general factors such as the size of the fragment, the species richness of plants and the distance between the areas. Therefore, we suppose that local factors that differ among areas, such as interactions between populations, and competition and interference from surrounding areas influence and determine bee species richness and similarity in these reserves.

Lineage relationship of prostate cancer cell types based on gene expression

Background: Prostate tumor heterogeneity is a major factor in disease management. Heterogeneity could be due to multiple cancer cell types with distinct gene expression. Of clinical importance is the so-called cancer stem cell type. Cell type-specific transcriptomes are used to examine lineage relationship among cancer cell types and their expression similarity to normal cell types including stem/progenitor cells. Methods: Transcriptomes were determined by Affymetrix DNA array analysis for the following cell types. Putative prostate progenitor cell populations were characterized and isolated by expression of the membrane transporter ABCG2. Stem cells were represented by embryonic stem and embryonal carcinoma cells. The cancer cell types were Gleason pattern 3 (glandular histomorphology) and pattern 4 (aglandular) sorted from primary tumors, cultured prostate cancer cell lines originally established from metastatic lesions, xenografts LuCaP 35 (adenocarcinoma phenotype) and LuCaP 49 (neuroendocrine/small cell carcinoma) grown in mice. No detectable gene expression differences were detected among serial passages of the LuCaP xenografts. Results: Based on transcriptomes, the different cancer cell types could be clustered into a luminal-like grouping and a non-luminal-like (also not basal-like) grouping. The non-luminal-like types showed expression more similar to that of stem/progenitor cells than the luminal-like types. However, none showed expression of stem cell genes known to maintain stemness. Conclusions: Non-luminal-like types are all representatives of aggressive disease, and this could be attributed to the similarity in overall gene expression to stem and progenitor cell types.

Nitrogen dynamics during ecosystem development in tropical forest restoration

We considered whether ecological restoration using high diversity of native tree species serves to restore nitrogen dynamics in the Brazilian Atlantic Forest. We measured delta(15)N and N content in green foliage and soil; vegetation N:P ratio; and soil N mineralization in a preserved natural forest and restored forests of ages 21 and 52 years. Green foliage delta(15)N values, N content, N:P ratio, inorganic N and net mineralization and nitrification rates were all higher, the older the forest. Our findings indicate that the recuperation of N cycling has not been achieved yet in the restored forests even after 52 years, but show that they are following a trajectory of development that is characterized by their N cycling intensity becoming similar to a natural mature forest of the same original forest formation. This study demonstrated that some young restored forests are more limited by N compared to mature natural forests. We document that the recuperation of N cycling in tropical forests can be achieved through ecological restoration actions. (C) 2011 Elsevier B.V. All rights reserved.

Greenhouse gas emissions from alternative futures of deforestation and agricultural management in the southern Amazon

The Brazilian Amazon is one of the most rapidly developing agricultural areas in the world and represents a potentially large future source of greenhouse gases from land clearing and subsequent agricultural management. In an integrated approach, we estimate the greenhouse gas dynamics of natural ecosystems and agricultural ecosystems after clearing in the context of a future climate. We examine scenarios of deforestation and postclearing land use to estimate the future (2006-2050) impacts on carbon dioxide (CO(2)), methane (CH(4)), and nitrous oxide (N(2)O) emissions from the agricultural frontier state of Mato Grosso, using a process-based biogeochemistry model, the Terrestrial Ecosystems Model (TEM). We estimate a net emission of greenhouse gases from Mato Grosso, ranging from 2.8 to 15.9 Pg CO(2)-equivalents (CO(2)-e) from 2006 to 2050. Deforestation is the largest source of greenhouse gas emissions over this period, but land uses following clearing account for a substantial portion (24-49%) of the net greenhouse gas budget. Due to land-cover and land-use change, there is a small foregone carbon sequestration of 0.2-0.4 Pg CO(2)-e by natural forests and cerrado between 2006 and 2050. Both deforestation and future land-use management play important roles in the net greenhouse gas emissions of this frontier, suggesting that both should be considered in emissions policies. We find that avoided deforestation remains the best strategy for minimizing future greenhouse gas emissions from Mato Grosso.

Soil carbon stocks under no-tillage mulch-based cropping systems in the Brazilian Cerrado: An on-farm synchronic assessment

No-tillage mulch-based (NTM) cropping systems have been widely adopted by farmers in the Brazilian savanna region (Cerrado biome). We hypothesized that this new type of management should have a profound impact on soil organic carbon (SOC) at regional scale and consequently on climate change mitigation. The objective of this study was thus to quantify the SOC storage potential of NTM in the oxisols of the Cerrado using a synchronic approach that is based on a chronosequence of fields of different years under NTM. The study consisted of three phases: (1) a farm/cropping system survey to identify the main types of NTM systems to be chosen for the chronosequence; (2) a field survey to identify a homogeneous set of situations for the chronosequence and (3) the characterization of the chronosequence to assess the SOC storage potential. The main NTM system practiced by farmers is an annual succession of soybean (Glycine max)or maize (Zea mays) with another cereal crop. This cropping system covers 54% of the total cultivated area in the region. At the regional level, soil organic C concentrations from NTM fields were closely correlated with clay + silt content of the soil (r(2) = 0.64). No significant correlation was observed (r(2) = 0.07), however, between these two variables when we only considered the fields with a clay + silt content in the 500-700 g kg(-1) range. The final chronosequence of NTM fields was therefore based on a subsample of eight fields, within this textural range. The SOC stocks in the 0-30 cm topsoil layer of these selected fields varied between 4.2 and 6.7 kg C m(-2) and increased on average (r(2) = 0.97) with 0.19 kg C m(-2) year(-1). After 12 years of NTM management, SOC stocks were no longer significantly different from the stocks under natural Cerrado vegetation (p < 0.05), whereas a 23-year-old conventionally tilled and cropped field showed SOC stocks that were about 30% below this level. Confirming our hypotheses, this study clearly illustrated the high potential of NTM systems in increasing SOC storage under tropical conditions, and how a synchronic approach may be used to assess efficiently such modification on farmers` fields, identifying and excluding non desirable sources of heterogeneity (management, soils and climate). (C) 2010 Elsevier B.V. All rights reserved.

Soil nitrous oxide emissions in long-term cover crops-based rotations under subtropical climate

It has been shown that cover crops can enhance soil nitrous oxide (N(2)O) emissions, but the magnitude of increase depends on the quantity and quality of the crop residues. Therefore, this study aimed to evaluate the effect of long-term (19 and 21 years) no-till maize crop rotations including grass [black oat (Avena strigosa Schreb)] and legume cover crops [vetch (Vigna sativa L), cowpea (Vigna unguiculata L. Walp), pigeon pea (Cajanus cajan L. Millsp.) and lablab (Dolichos lablab)] on annual soil N(2)O emissions in a subtropical Acrisol in Southern Brazil. Greater soil N(2)O emissions were observed in the first 45 days after the cover crop residue management in all crop rotations, varying from -20.2 +/- 1.9 to 163.9 +/- 24.3 mu g N m(-2) h(-1). Legume-based crop rotations had the largest cumulative emissions in this period, which were directly related to the quantity of N (r(2) = 0.60, p = 0.13)and inversely related to the lignin:N ratio(r(2) = 0.89,p = 0.01) of the cover crop residues. After this period, the mean fluxes were smaller and were closely related to the total soil N stocks (r(2) = 0.96, p = 0.002). The annual soil N(2)O emission represented 0.39-0.75% of the total N added by the legume cover crops. Management-control led soil variables such as mineral N (NO(3)(-) and NH(4)(+)) and dissolved organic C influenced more the N(2)O fluxes than environmental-related variables as water-filled pore space and air and soil temperature. Consequently, the synchronization between N mineralization and N uptake by plants seems to be the main challenge to reduce N(2)O emissions while maintaining the environmental and agronomic services provided by legume cover crops in agricultural systems. (C) 2009 Elsevier B.V. All rights reserved.

Forest-related partnerships in Brazilian Amazonia: There is more to sustainable forest management than reduced impact logging

There is more to sustainable forest management than reduced impact logging. Partnerships between multiple actors are needed in order to create the institutional context for good forest governance and sustainable forest management and stimulate the necessary local community involvement. The idea behind this is that the parties would be able to achieve more jointly than on their own by combining assets, knowledge, skills and political power of actors at different levels of scale. This article aims to demonstrate by example the nature and variety of forest-related partnerships in Brazilian Amazonia. Based on the lessons learned from these cases and the authors` experience, the principal characteristics of successful partnerships are described, with a focus on political and socioeconomic aspects. These characteristics include fairly negotiated partnership objectives, the active involvement of the public sector as well as impartial brokers, equitable and cost-effective institutional arrangements, sufficient and equitably shared benefits for all the parties involved, addressing socioeconomic drawbacks, and taking measures to maintain sustainable exploitation levels. The authors argue that, in addition to product-oriented partnerships which focus on sustainable forest management, there is also a need for politically oriented partnerships based on civil society coalitions. The watchdog function of these politically oriented partnerships, their awareness-raising campaigns regarding detrimental policies and practices, and advocacy for good forest governance are essential for the creation of the appropriate legal and political framework for sustainable forest management. (C) 2008 Elsevier B.V. All rights reserved.