Attack tree analysis for insider threats on the IoT using Isabelle

The Internet-of-Things (IoT) aims at integrating small devices around humans. The threat from human insiders in “regular” organisations is real; in a fully-connected world of the IoT, organisations face a substantially more severe security challenge due to unexpected access possibilities and information flow. In this paper, we seek to illustrate and classify insider threats in relation to the IoT (by ‘smart insiders’), exhibiting attack vectors for their characterisation. To model the attacks we apply a method of formal modelling of Insider Threats in the interactive theorem prover Isabelle. On the classified IoT attack examples, we show how this logical approach can be used to make the models more precise and to analyse the previously identified Insider IoT attacks using Isabelle attack tree

Superconductivity at 17 K in Yttrium Metal under Nearly Hydrostatic Pressures to 89 GPa

In an experiment in a diamond anvil cell utilizing helium pressure medium, yttrium metal displays a superconducting transition temperature which increases monotonically from Tc ? 3.5 K at 30 GPa to 17 K at 89.3 GPa, one of the highest transition temperatures for any elemental superconductor. The pressure dependence of Tc differs substantially from that observed in previous studies under quasihydrostatic pressure to 30 GPa. Remarkably, the dependence of Tc on relative volume V/Vo is linear over the entire pressure range above 33 GPa, implying that higher values of Tc are likely at higher pressures. For the trivalent metals Sc, Y, La, Lu there appears to be some correlation between Tc and the ratio of the Wigner-Seitz radius to the ion core radius.Comment: submitted for publicatio

Applications of stable water and carbon isotopes in watershed research: Weathering, carbon cycling, and water balances

Research on rivers has traditionally involved concentration and flux measurements to better understand weathering, transport and cycling of materials from land to ocean. As a relatively new tool, stable isotope measurements complement this type of research by providing an extra label to characterize origin of the transportedmaterial, its transfer mechanisms, and natural versus anthropogenic influences. These new stable isotope techniques are scalable across a wide range of geographic and temporal scales. This review focuses on three aspects of hydrological and geochemical river research that are of prime importance to the policy issues of climate change and include utilization of stable water and carbon isotopes: (i) silicate and carbonate weathering in river basins, (ii) the riverine carbon and oxygen cycles, and (iii) water balances at the catchment scale. Most studies at watershed scales currently focus on water and carbon balances but future applications hold promise to integrate sediment fluxes and turnover, ground and surface water interactions, as well as the understanding of contaminant sources and their effects in river systems

Pressure-Induced Superconductivity in Sc to 74 GPa

Using a diamond anvil cell with nearly hydrostatic helium pressure medium we have significantly extended the superconducting phase diagram Tc(P) of Sc, the lightest of all transition metals. We find that superconductivity is induced in Sc under pressure, Tc increasing monotonically to 8.2 K at 74.2 GPa. The Tc(P) dependences of the trivalent d-electron metals Sc, Y, La, and Lu are compared and discussed within a simple s-d charge transfer framework.Comment: to be published in Phys. Rev. B (Brief Reports

Protease inhibitors prevent plasminogen-mediated, but not pemphigus vulgaris-induced, acantholysis in human epidermis

Pemphigus is an autoimmune blistering disease of the skin and mucous membranes. It is caused by autoantibodies directed against desmosomes, which are the principal adhesion structures between epidermal keratinocytes. Binding of autoantibodies leads to the destruction of desmosomes resulting in the loss of cell-cell adhesion (acantholysis) and epidermal blisters. The plasminogen activator system has been implicated as a proteolytic effector in pemphigus. We have tested inhibitors of the plasminogen activator system with regard to their potential to prevent pemphigus-induced cutaneous pathology. In a human split skin culture system, IgG preparations of sera from pemphigus vulgaris patients caused histopathologic changes (acantholysis) similar to those observed in the original pemphigus disease. All inhibitors that were tested (active site inhibitors directed against uPA, tPA, and/or plasmin; antibodies neutralizing the enzymatic activity of uPA or tPA; substances interfering with the binding of uPA to its specific cell surface receptor uPAR) failed to prevent pemphigus vulgaris IgG-mediated acantholysis. Plasminogen-mediated acantholysis, however, was effectively antagonized by the synthetic active site serine protease inhibitor WX-UK1 or by p-aminomethylbenzoic acid. Our data argue against applying anti-plasminogen activator/anti-plasmin strategies in the management of pemphigus

Heart rate variability in association with frequent use of household sprays and scented products in SAPALDIA

Background: Household cleaning products are associated with adverse respiratory health outcomes, but the cardiovascular health effects are largely unknown.Objective: We determined if long-term use of household sprays and scented products at home was associated with reduced heart rate variability (HRV), a marker of autonomic cardiac dysfunction.Methods: We recorded 24-hr electrocardiograms in a cross-sectional survey of 581 Swiss adults, 1, 1-3, or 4-7 days/week, unexposed (reference)] of using cleaning sprays, air freshening sprays, and scented products.Results: Decreases in 24-hr SDNN and TP were observed with frequent use of all product types, but the strongest reductions were associated with air freshening sprays. Compared with unexposed participants, we found that using air freshening sprays 4-7 days/week was associated with 11% [95% confidence interval (CI): -20%, -2%] and 29% (95% CI: -46%, -8%) decreases in 24-hr SDNN and TP, respectively. Inverse associations of 24-SDNN and TP with increased use of cleaning sprays, air freshening sprays, and scented products were observed mainly in participants with obstructive lung disease (p > 0.05 for interactions).Conclusions: In predominantly older adult women, long-term frequent use of household spray and scented products was associated with reduced HRV, which suggests an increased risk of cardiovascular health hazards. People with preexisting pulmonary conditions may be more susceptibl

Sainfoin – New Data on Anthelmintic Effects and Production in Sheep and Goats

Gastrointestinal nematodes (GIN) are one of the most important problems affecting health and therefore performance and welfare in small ruminant husbandry. The control of these parasites in the past strongly relied on the repeated use of anthelmintic drugs. This has led to nematode populations which are resistant to most of the currently available anthelmintics. Furthermore customer’s demands for organic and residue free animal products are increasing. The aforementioned problems have given a strong impetus for the development of new non-chemical strategies to control GIN. Previous research has pointed out the anthelmintic potential of sainfoin (Onobrychis viciifolia) and other tanniferous (CT) feed sources in goats and lambs infected with GIN. A recent Swiss experiment focussed on the use of sainfoin and field bean (Vicia faba, cv. Scirocco) as single CT sources as well as in combination for additional synergic effects, to reduce periparturient GIN egg rise of ewes in late gestation and early lactation. Another experiment with Alpine goats concentrated on the influence of sainfoin on milk performance and cheese quality. The results of these experiments will be presented and discussed in connection with previous knowledge on (i) anthelmintic effects of sainfoin and (ii) the influence of sainfoin administration on performance

Propagule and soil type affects the pathogenicity of Ilyonectria and Dactylonectria spp., the causal agents of black foot disease of grapevines

Black foot disease of grapevines is a significant economic issue for the viticulture industry worldwide. The disease is mainly associated with soil borne pathogen species within the genera Dactylonectria and Ilyonectria. The aim of this study was to determine the pathogenicity of different pathogen propagules, including chlamydospores, conidia and mycelium, to grapevine rootstocks grown in soil. A combination of nine isolates belonging to Dactylonectria and Ilyonectria genera, representative of the fungal species associated with black foot disease in New Zealand were used to inoculate grapevines in a field experiment. In the second experiment, the pathogenicity of the different propagules was assessed in different soil types, clay loam, silt loam and sandy loam soils. In the field experiment, chlamydospores and conidia resulted in higher disease incidence and severity at 0 cm above the grapevine stem base compared with mycelium. At 5 cm above the stem base, chlamydospores caused the greatest disease incidence compared with the other two propagules. Propagule type had no effect on shoot and root dry weights. In the pot experiment, soil type affected disease incidence and severity, with clay loam soil resulting in significantly greater disease incidence and severity than silt loam or sandy loam soils. Disease severity at 0 cm above the stem base was significantly higher with conidial inoculations compared with chlamydospore inoculations irrespective of soil type. Root dry weights were also affected with heavier roots from plants grown in sandy loam compared with silt loam and clay loam soils, however, shoot dry weight was greater in clay loam and sandy loam compared with silt loam soils. The results of the study confirmed that all propagule types were able to infect grapevine rootstocks when planted in inoculated soil and showed that although the pathogens were capable of infecting the rootstocks in all soil types, disease level was higher in the heavier clay loam soil. It is therefore recommended that growers either avoid planting in such soils or apply strategies to improve drainage and soil aeration

Deterministic composite nanophotonic lattices in large area for broadband applications

Exotic manipulation of the flow of photons in nanoengineered materials with an aperiodic distribution of nanostructures plays a key role in efficiency enhanced broadband photonic and plasmonic technologies for spectrally tailorable integrated biosensing, nanostructured thin film solarcells, white light emitting diodes, novel plasmonic ensembles etc. Through a generic deterministic nanotechnological route here we show subwavelength scale silicon Si nanostructures on nanoimprinted glass substrate in large area 4 cm2 with advanced functional features of aperiodic composite nanophotonic lattices. These nanophotonic aperiodic lattices have easily tailorable supercell tiles with well defined and discrete lattice basis elements and they show rich Fourier spectra. The presented nanophotonic lattices are designed functionally akin to two dimensional aperiodic composite lattices with unconventional flexibility comprising periodic photonic crystals and or in plane photonic quasicrystals as pattern design subsystems. The fabricated composite lattice structured Si nanostructures are comparatively analyzed with a range of nanophotonic structures with conventional lattice geometries of periodic, disordered random as well as in plane quasicrystalline photonic lattices with comparable lattice parameters. As a proof of concept of compatibility with advanced bottom up liquid phase crystallized LPC Si thin film fabrication, the experimental structural analysis is further extended to double side textured deterministic aperiodic lattice structured 10 amp; 956;m thick large area LPC Si film on nanoimprinted substrate