A survey on key management mechanisms for distributed Wireless Sensor Networks

Wireless Sensor Networks (WSNs) have a vast field of applications, including deployment in hostile environments. Thus, the adoption of security mechanisms is fundamental. However, the extremely constrained nature of sensors and the potentially dynamic behavior of WSNs hinder the use of key management mechanisms commonly applied in modern networks. For this reason, many lightweight key management solutions have been proposed to overcome these constraints. In this paper, we review the state of the art of these solutions and evaluate them based on metrics adequate for WSNs. We focus on pre-distribution schemes well-adapted for homogeneous networks (since this is a more general network organization), thus identifying generic features that can improve some of these metrics. We also discuss some challenges in the area and future research directions. (C) 2010 Elsevier B.V. All rights reserved.

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.

Structural behaviour of three-pile caps subjected to axial compressive loading

This work presents a comparative analysis about the behaviour of pile caps supported by 3 piles subjected to axial loading. Piles with 20 cm and 30 cm diameters were analysed. The main reinforcement was maintained in all the specimens, however, the arrangement of the secondary reinforcement varied. The main reinforcement consisted of steel bars connecting the piles. The secondary reinforcement was made up of: (a) bars going through the piles and through the projection of the column, (b) bars forming a network, and (c) vertical and horizontal stirrups. The main objective was the observation of the pile cap behaviour regarding the cracks and the modes of rupture. The real scale specimens were subjected to experimental tests until failure by rupture. Instruments were placed with the aim to obtain the displacement of the bases, the strains in the main and secondary reinforcement bars, in the compression struts, in the lower and upper nodal zones and in the sides of the caps. None of the caps reached failure by rupture with a load less than 1.12 times the theoretical load. The specimens ruptured due to the cracking of the compression strut and/or the yielding of the reinforcement bars in one direction.

FWM Constraints Management for Lightpath Establishment in GMPLS Networks

In all-optical networks, management of physical layer restrictions should collaborate in lightpath establishment. Label-Switched Path validation in Generalized MultiProtocol Label Switching on Dense Wavelength Division Multiplexing network requires the treatment of the physical impairment-related parameters along the provisioned route. In this paper we propose, for the first time in our view, the generation of an optical layer database by simulation that specifically characterizes the dynamic FWM impairments for the lightpaths provisioned in a GMPLS/DWDM network.

A decision support system to facilitate management of patients with acute gastrointestinal bleeding

Objective: To develop a model to predict the bleeding source and identify the cohort amongst patients with acute gastrointestinal bleeding (GIB) who require urgent intervention, including endoscopy. Patients with acute GIB, an unpredictable event, are most commonly evaluated and managed by non-gastroenterologists. Rapid and consistently reliable risk stratification of patients with acute GIB for urgent endoscopy may potentially improve outcomes amongst such patients by targeting scarce health-care resources to those who need it the most. Design and methods: Using ICD-9 codes for acute GIB, 189 patients with acute GIB and all. available data variables required to develop and test models were identified from a hospital medical records database. Data on 122 patients was utilized for development of the model and on 67 patients utilized to perform comparative analysis of the models. Clinical data such as presenting signs and symptoms, demographic data, presence of co-morbidities, laboratory data and corresponding endoscopic diagnosis and outcomes were collected. Clinical data and endoscopic diagnosis collected for each patient was utilized to retrospectively ascertain optimal management for each patient. Clinical presentations and corresponding treatment was utilized as training examples. Eight mathematical models including artificial neural network (ANN), support vector machine (SVM), k-nearest neighbor, linear discriminant analysis (LDA), shrunken centroid (SC), random forest (RF), logistic regression, and boosting were trained and tested. The performance of these models was compared using standard statistical analysis and ROC curves. Results: Overall the random forest model best predicted the source, need for resuscitation, and disposition with accuracies of approximately 80% or higher (accuracy for endoscopy was greater than 75%). The area under ROC curve for RF was greater than 0.85, indicating excellent performance by the random forest model Conclusion: While most mathematical models are effective as a decision support system for evaluation and management of patients with acute GIB, in our testing, the RF model consistently demonstrated the best performance. Amongst patients presenting with acute GIB, mathematical models may facilitate the identification of the source of GIB, need for intervention and allow optimization of care and healthcare resource allocation; these however require further validation. (c) 2007 Elsevier B.V. All rights reserved.

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.

Two-level network design with intermediate facilities: An application to electrical distribution systems

We consider the two-level network design problem with intermediate facilities. This problem consists of designing a minimum cost network respecting some requirements, usually described in terms of the network topology or in terms of a desired flow of commodities between source and destination vertices. Each selected link must receive one of two types of edge facilities and the connection of different edge facilities requires a costly and capacitated vertex facility. We propose a hybrid decomposition approach which heuristically obtains tentative solutions for the vertex facilities number and location and use these solutions to limit the computational burden of a branch-and-cut algorithm. We test our method on instances of the power system secondary distribution network design problem. The results show that the method is efficient both in terms of solution quality and computational times. (C) 2010 Elsevier Ltd. All rights reserved.

Benders, metric and cutset inequalities for multicommodity capacitated network design

Solving multicommodity capacitated network design problems is a hard task that requires the use of several strategies like relaxing some constraints and strengthening the model with valid inequalities. In this paper, we compare three sets of inequalities that have been widely used in this context: Benders, metric and cutset inequalities. We show that Benders inequalities associated to extreme rays are metric inequalities. We also show how to strengthen Benders inequalities associated to non-extreme rays to obtain metric inequalities. We show that cutset inequalities are Benders inequalities, but not necessarily metric inequalities. We give a necessary and sufficient condition for a cutset inequality to be a metric inequality. Computational experiments show the effectiveness of strengthening Benders and cutset inequalities to obtain metric inequalities.

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.

Clinical management for epidermolysis bullosa dystrophica

Epidermolysis bullosa (EB) consists of a group of genetic hereditary disorders in which patients frequently present fragile skin and mucosa that form blisters following minor trauma. More than 20 subtypes of EB have been recognized in the literature. Specific genetic mutations are well characterized for most the different EB subtypes and variants. The most common oral manifestations of EB are painful blisters affecting all the oral surfaces. Dental treatment for patients with EB consists of palliative therapy for its oral manifestations along with typical restorative and periodontal procedures. The aim of this article is to describe two dental clinical treatments of recessive dystrophic EB cases and their specific clinical manifestations. The psychological intervention required during the dental treatment of these patients is also presented.

Management of a complex dentoalveolar trauma: a case report

This paper describes the case of a 12-year-old male patient who presented a severe lateral luxation of the maxillary central incisors due to a bicycle fall. Treatment involved suture of the soft tissues lacerations, and repositioning and splinting of the injured teeth, followed by endodontic treatment and periodontal surgery. After a 2-year follow-up, clinical and radiographic evaluation revealed that the incisors presented satisfactory esthetic and functional demands.

Fire management and the nesting of Athene cunicularia (Aves, Strigidae) in grasslands in central Cerrado, Brazil

Fire management is a common practice in several reserves in the Cerrado, but its influences on bird reproduction remain unknown. In addition, the nesting biology of the Burrowing Owl (Athene cunicularia) has been studied in numerous environments, but not in tropical grasslands managed by fire. This study examined the effects of fire management on the nesting biology of A. cunicularia in Emas National Park, State of Goias, central Brazilian Cerrado. We compared the number of breeding pairs and their burrows in October and November 2009 at 15 study sites in grasslands managed by fire (firebreaks) and unmanaged grasslands adjacent to and distant from firebreaks. We visited active burrows two-four times and described the burrow entrances and sentinel sites and counted and observed adults and young. A total of 19 burrows were found at firebreaks. One and two burrows were found in grasslands adjacent to and distant from firebreaks, respectively. For all burrows found, one to three young reached the adult size, being able to fly and/or run in early November. The 22 burrows found were in the ground, associated or not with termite and ant nests. Most (86.4%) burrows had only one entrance. Only three burrows had two or three entrances. Structures used as sentinel perches by adults were mounds in front of the burrow entrances, termite nests, shrubs and trees. Most of these sentinel sites were shorter than 2 m high and located less than 10 m from the burrow entrance. At Emas National Park, firebreaks appear to provide more attractive conditions to the nesting of A. cunicularia than unmanaged grasslands, likely because of the short herbaceous stratum due to frequent burning of firebreaks. This study suggests that fire management provides suitable conditions for the successful reproduction of A. cunicularia in firebreaks at Emas National Park.

Atenção domiciliar como mudança do modelo tecnoassistencial

OBJETIVO: Analisar práticas de atenção domiciliar de serviços ambulatoriais e hospitalares e sua constituição como rede substitutiva de cuidado em saúde. PROCEDIMENTOS METODOLÓGICOS: Estudo qualitativo que analisou, com base na metodologia de caso traçador, quatro serviços ambulatoriais de atenção domiciliar da Secretaria Municipal de Saúde e um serviço de um hospital filantrópico do município de Belo Horizonte, MG, entre 2005 e 2007. Foram realizadas entrevistas com gestores e equipes dos serviços de atenção domiciliar, análise de documentos e acompanhamento de casos com entrevistas a pacientes e cuidadores. A análise foi orientada pelas categorias analíticas integração da atenção domiciliar na rede de saúde e modelo tecnoassistencial. ANÁLISE DOS RESULTADOS: A implantação da atenção domiciliar foi precedida por decisão político-institucional tanto com orientação racionalizadora, buscando a diminuição de custos, quanto com vistas à reordenação tecnoassistencial das redes de cuidados. Essas duas orientações encontram-se em disputa e constituem dificuldades para conciliação dos interesses dos diversos atores envolvidos na rede e na criação de espaços compartilhados de gestão. Pôde-se identificar a inovação tecnológica e a autonomia das famílias na implementação dos projetos de cuidado. As equipes mostraram-se coesas, construindo no cotidiano do trabalho novas formas de integrar os diferentes olhares para transformação das práticas em saúde. Foram observados desafios na proposta de integrar os diferentes serviços de caráter substitutivo do cuidado ao limitar a capacidade da atenção domiciliar de mudar o modelo tecnoassistencial. CONCLUSÕES: A atenção domiciliar possui potencial para constituição de uma rede substitutiva ao produzir novos modos de cuidar que atravessam os projetos dos usuários, dos familiares, da rede social e dos trabalhadores da atenção domiciliar. A atenção domiciliar como modalidade substitutiva de atenção à saúde requer sustentabilidade política, conceitual e operacional, bem como reconhecimento dos novos arranjos e articulação das propostas em curso.