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.

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.

Specification of Supervisory Control Systems for Ventricular Assist Devices

One of the most important recent improvements in cardiology is the use of ventricular assist devices (VADs) to help patients with severe heart diseases, especially when they are indicated to heart transplantation. The Institute Dante Pazzanese of Cardiology has been developing an implantable centrifugal blood pump that will be able to help a sick human heart to keep blood flow and pressure at physiological levels. This device will be used as a totally or partially implantable VAD. Therefore, an improvement on device performance is important for the betterment of the level of interaction with patient`s behavior or conditions. But some failures may occur if the device`s pumping control does not follow the changes in patient`s behavior or conditions. The VAD control system must consider tolerance to faults and have a dynamic adaptation according to patient`s cardiovascular system changes, and also must attend to changes in patient conditions, behavior, or comportments. This work proposes an application of the mechatronic approach to this class of devices based on advanced techniques for control, instrumentation, and automation to define a method for developing a hierarchical supervisory control system that is able to perform VAD control dynamically, automatically, and securely. For this methodology, we used concepts based on Bayesian network for patients` diagnoses, Petri nets to generate a VAD control algorithm, and Safety Instrumented Systems to ensure VAD system security. Applying these concepts, a VAD control system is being built for method effectiveness confirmation.

Influence of different adhesive systems on the pull-out bond strength of glass fiber posts

This in vitro study evaluated the tensile bond strength of glass fiber posts (Reforpost - Angelus-Brazil) cemented to root dentin with a resin cement (RelyX ARC - 3M/ESPE) associated with two different adhesive systems (Adper Single Bond - 3M/ESPE and Adper Scotchbond Multi Purpose (MP) Plus - 3M/ESPE), using the pull-out test. Twenty single-rooted human teeth with standardized root canals were randomly assigned to 2 groups (n=10): G1- etching with 37% phosphoric acid gel (3M/ESPE) + Adper Single Bond + #1 post (Reforpost - Angelus) + four #1 accessory posts (Reforpin - Angelus) + resin cement; G2- etching with 37% phosphoric acid gel + Adper Scotchbond MP Plus + #1 post + four #1 accessory posts + resin cement. The specimens were stored in distilled water at 37°C for 7 days and submitted to the pull-out test in a universal testing machine (EMIC) at a crosshead speed of 0.5 mm/min. The mean values of bond strength (kgf) and standard deviation were: G1- 29.163 ± 7.123; G2- 37.752 ±13.054. Statistical analysis (Student's t-test; a=0.05 showed no statistically significant difference (p<0.05) between the groups. Adhesive bonding failures between resin cement and root canal dentin surface were observed in both groups, with non-polymerized resin cement in the apical portion of the post space when Single Bond was used (G1). The type of adhesive system employed on the fiber post cementation did not influence the pull-out bond strength.

Shear bond strength of self-etch and total-etch bonding systems at different dentin depths

The purpose of this study was to evaluate the dentin shear bond strength of four adhesive systems (Adper Single Bond 2, Adper Prompt L-Pop, Magic Bond DE and Self Etch Bond) in regards to buccal and lingual surfaces and dentin depth. Forty extracted third molars had roots removed and crowns bisected in the mesiodistal direction. The buccal and lingual surfaces were fixed in a PVC/acrylic resin ring and were divided into buccal and lingual groups assigned to each selected adhesive. The same specimens prepared for the evaluation of superficial dentin shear resistance were used to evaluate the different depths of dentin. The specimens were identified and abraded at depths of 0.5, 1.0, 1.5 and 2.0 mm. Each depth was evaluated by ISO TR 11405 using an EMIC-2000 machine regulated at 0.5 mm/min with a 200 Kgf load cell. We performed statistical analyses on the results (ANOVA, Tukey and Scheffé tests). Data revealed statistical differences (p < 0.01) in the adhesive and depth variation as well as adhesive/depth interactions. The Adper Single Bond 2 demonstrated the highest mean values of shear bond strength. The Prompt L-Pop product, a self-etching adhesive, revealed higher mean values compared with Magic Bond DE and Self Etch Bond adhesives, a total and self-etching adhesive respectively. It may be concluded that the shear bond strength of dentin is dependent on material (adhesive system), substrate depth and adhesive/depth interaction.

Comparative study of chemical and mechanical retentive systems for bonding of indirect composite resin to commercially pure titanium

This study evaluated the effect of chemical and mechanical surface treatments for cast metal alloys on the bond strength of an indirect composite resin (Artglass) to commercially pure titanium (cpTi). Thirty cylindrical metal rods (3 mm diameter x 60 mm long) were cast in grade-1 cpTi and randomly assigned to 6 groups (n=5) according to the received surface treatment: sandblasting; chemical treatment; mechanical treatment - 0.4 mm beads; mechanical treatment - 0.6 mm beads; chemical/mechanical treatment - 0.4 mm; and chemical/mechanical treatment - 0.6 mm beads. Artglass rings (6.0 mm diameter x 2.0 mm thick) were light cured around the cpTi rods, according manufacturer's specifications. The specimens were invested in hard gypsum and their bond strength (in MPa) to the rods was measured at fracture with a universal testing machine at a crosshead speed of 2.0 mm/min and 500 kgf load cell. Data were analyzed statistically by one-way ANOVA and Tukey test (a=5%). The surface treatments differed significantly from each other (p<0.05) regarding the recorded bond strengths. Chemical retention and sandblasting showed statistically similar results to each other (p=0.139) and both had significantly lower bond strengths (p<0.05) than the other treatments. In conclusion, mechanical retention, either associated or not to chemical treatment, provided higher bond strength of the indirect composite resin to cpTi.

Bond strength of a pit-and-fissure sealant associated to etch-and-rinse and self-etching adhesive systems to saliva-contaminated enamel: individual vs. simultaneous light curing

This study evaluated in vitro the shear bond strength (SBS) of a resin-based pit-and-fissure sealant [Fluroshield (F), Dentsply/Caulk] associated with either an etch-and-rinse [Adper Single Bond 2 (SB), 3M/ESPE] or a self-etching adhesive system [Clearfil S3 Bond (S3), Kuraray Co., Ltd.] to saliva-contaminated enamel, comparing two curing protocols: individual light curing of the adhesive system and the sealant or simultaneous curing of both materials. Mesial and distal enamel surfaces from 45 sound third molars were randomly assigned to 6 groups (n=15), according to the bonding technique: I - F was applied to 37% phosphoric acid etched enamel. The other groups were contaminated with fresh human saliva (0.01 mL; 10 s) after acid etching: II - SB and F were light cured separately; III - SB and F were light cured together; IV - S3 and F were light cured separately; V - S3 and F were light cured simultaneously; VI - F was applied to saliva-contaminated, acid-etched enamel without an intermediate bonding agent layer. SBS was tested to failure in a universal testing machine at 0.5 mm/min. Data were analyzed by one-way ANOVA and Fisher's test (α=0.05).The debonded specimens were examined with a stereomicroscope to assess the failure modes. Three representative specimens from each group were observed under scanning electron microscopy for a qualitative analysis. Mean SBS in MPa were: I-12.28 (±4.29); II-8.57 (±3.19); III-7.97 (±2.16); IV-12.56 (±3.11); V-11.45 (±3.77); and VI-7.47 (±1.99). In conclusion, individual or simultaneous curing of the intermediate bonding agent layer and the resin sealant did not seem to affect bond strength to saliva-contaminated enamel. S3/F presented significantly higher SBS than the that of the groups treated with SB etch-and-rinse adhesive system and similar SBS to that of the control group, in which the sealant was applied under ideal dry, noncontaminated conditions.

Influence of light-curing unit systems on shear bond strength and marginal microleakage of composite resin restorations

The aim of the present study was to evaluate the influence of different photopolymerization (halogen, halogen soft-start and LED) systems on shear bond strength (SBS) and marginal microleakage of composite resin restorations. Forty Class V cavities (enamel and dentin margins) were prepared for microleakage assessment, and 160 enamel and dentin fragments were prepared for the SBS test, and divided into 4 groups. Kruskal-Wallis and Wilcoxon tests showed statistically significant difference in microleakage between the margins (p < 0.01) with incisal margins presenting the lowest values. Among the groups, it was observed that, only at the cervical margin, halogen soft-start photo polymerization presented statistically significant higher microleakage values. For SBS test, ANOVA showed no statistical difference (p > 0.05) neither between substrates nor among groups. It was concluded that Soft-Start technique with high intensity end-light influenced negatively the cervical marginal sealing, but the light-curing systems did not influence adhesion.

Coronal and apical leakage analysis of two different root canal obturation systems

This study compared the coronal and apical leakage of AH Plus with gutta-percha to that of Epiphany with Resilon. Twenty-four single rooted teeth were instrumented and divided into 2 groups according to the solutions for smear layer removal and the obturation materials employed: Group A - 17% EDTA-T and AH Plus with gutta-percha; Group B - primer and Epiphany with Resilon. The Group B specimens were light-cured in the coronal area for 20 s. The external root surfaces were covered with a double layer of ethyl cyanoacrylate, except for the apical foramen and the cavity access. The teeth were immersed in 0.5% methylene blue for 48 h. The specimens were rinsed, dried and axially split for dye penetration measurement with the ImageLab 2.3 software. The t-test showed no significant differences for coronal leakage between the groups, but there were significant differences for apical leakage between the groups (P < 0.05). AH Plus with gutta-percha and Epiphany with Resilon provided the same coronal seal, whereas Epiphany with Resilon provided the best apical seal.

Influence of intrapulpal pressure simulation on the bond strength of adhesive systems to dentin

The purpose of this study was to evaluate the influence of intrapulpal pressure simulation on the bonding effectiveness of etch & rinse and self-etch adhesives to dentin. Eighty sound human molars were distributed into eight groups, according to the permeability level of each sample, measured by an apparatus to assess hydraulic conductance (Lp). Thus, a similar mean permeability was achieved in each group. Three etch & rinse adhesives (Prime & Bond NT - PB, Single Bond -SB, and Excite - EX) and one self-etch system (Clearfil SE Bond - SE) were employed, varying the presence or absence of an intrapulpal pressure (IPP) simulation of 15 cmH2O. After adhesive and restorative procedures were carried out, the samples were stored in distilled water for 24 hours at 37°C, and taken for tensile bond strength (TBS) testing. Fracture analysis was performed using a light microscope at 40 X magnification. The data, obtained in MPa, were then submitted to the Kruskal-Wallis test ( a = 0.05). The results revealed that the TBS of SB and EX was significantly reduced under IPP simulation, differing from the TBS of PB and SE. Moreover, SE obtained the highest bond strength values in the presence of IPP. It could be concluded that IPP simulation can influence the bond strength of certain adhesive systems to dentin and should be considered when in vitro studies are conducted.

Effect of different polishing systems on the surface roughness of microhybrid composites

The use of composite resins in dentistry is well accepted for restoring anterior and posterior teeth. Many polishing protocols have been evaluated for their effect on the surface roughness of restorative materials. This study compared the effect of different polishing systems on the surface roughness of microhybrid composites. Thirty-six specimens were prepared for each composite $#91;Charisma® (Heraeus Kulzer), Fill Magic® (Vigodent), TPH Spectrum® (Dentsply), Z100® (3M/ESPE) and Z250® (3M/ESPE)] and submitted to surface treatment with Enhance® and PoGo® (Dentsply) points, sequential Sof-Lex XT® aluminum oxide disks (3M/ESPE), and felt disks (TDV) combined with Excel® diamond polishing paste (TDV). Average surface roughness (Ra) was measured with a mechanical roughness tester. The data were analyzed by two-way ANOVA with repetition of the factorial design and the Tukey-Kramer test (p<0.01). The F-test result for treatments and resins was high (p<0.0001 for both), indicating that the effect of the treatment applied to the specimen surface and the effect of the type of resin on surface roughness was highly significant. Regarding the interaction between polishing system and type of resin used, a p value of 0.0002 was obtained, indicating a statistically significant difference. A Ra of 1.3663 was obtained for the Sof-Lex/TPH Spectrum interaction. In contrast, the Ra for the felt disk+paste/Z250 interactions was 0.1846. In conclusion, Sof-Lex polishing system produced a higher surface roughness on TPH Spectrum resin when compared to the other interactions.

Relationship between the southern annular mode and southern hemisphere atmospheric systems

Seasonal relationship between the Southern Annular Mode (SAM) and the spatial distribution of the cyclone systems over Southern Hemisphere is investigated for the period 1980 to 1999. In addition, seasonal frontogenesis and rainfall distribution over South America and South Atlantic Ocean during different SAM phases were also analyzed. It is observed that during negative SAM phases the cyclone trajectories move northward when compared to the positive one, and in the South America and South Atlantic sector there is intense frontogenetic activity and positive anomaly precipitation over the Southeast of the South America. In general, SAM positive phase shows opposite signals.

Complex networks: the key to systems biology

Though introduced recently, complex networks research has grown steadily because of its potential to represent, characterize and model a wide range of intricate natural systems and phenomena. Because of the intrinsic complexity and systemic organization of life, complex networks provide a specially promising framework for systems biology investigation. The current article is an up-to-date review of the major developments related to the application of complex networks in biology, with special attention focused on the more recent literature. The main concepts and models of complex networks are presented and illustrated in an accessible fashion. Three main types of networks are covered: transcriptional regulatory networks, protein-protein interaction networks and metabolic networks. The key role of complex networks for systems biology is extensively illustrated by several of the papers reviewed.

Pulsar binary systems in a nonsymmetric theory of gravitation II. Dipole radiation

This paper deals with the emission of gravitational radiation in the context of a previously studied metric nonsymmetric theory of gravitation. The part coming from the symmetric part of the metric coincides with the mass quadrupole moment result of general relativity. The one associated to the antisymmetric part of the metric involves the dipole moment of the fermionic charge of the system. The results are applied to binary star systems and the decrease of the period of the elliptical motion is calculated.

The effect of using mixed initiator systems on the efficiency of photopolymerization of dental resins

A study was performed in order to determine the efficiency of the simultaneous use of the photoinitiators phenylpropanedione (PPD) and camphorquinone (CQ) in the polymerization of acrylic polymers and evaluate possible mechanisms leading to synergism or antagonism. It was found that efficiencies of both initiators taken individually are higher than that of their mixture, indicating that when both dyes are used simultaneously there will be an energy transfer from the more efficient initiator (CQ) to the less efficient one (PPD). Also, there was no proof of any reaction between the amine present in the CQ formulation and the PPD excited state.