Looking for a Black Cat in a Dark Room: Security Visualization for Cyber-Physical System Design and Analysis

Today, there is a plethora of software security tools employing visualizations that enable the creation of useful and effective interactive security analyst dashboards. Such dashboards can assist the analyst to understand the data at hand and, consequently, to conceive more targeted preemption and mitigation security strategies. Despite the recent advances, model-based security analysis is lacking tools that employ effective dashboards---to manage potential attack vectors, system components, and requirements. This problem is further exacerbated because model-based security analysis produces significantly larger result spaces than security analysis applied to realized systems---where platform specific information, software versions, and system element dependencies are known. Therefore, there is a need to manage the analysis complexity in model-based security through better visualization techniques. Towards that goal, we propose an interactive security analysis dashboard that provides different views largely centered around the system, its requirements, and its associated attack vector space. This tool makes it possible to start analysis earlier in the system lifecycle. We apply this tool in a significant area of engineering design---the design of cyber-physical systems---where security violations can lead to safety hazards

A test method and deterioration model for joints and cracks in concrete slabs

This paper reports on the development of a laboratory test method to assess the deterioration of concrete cracks and joints under low intensity, high cycle loading, typical of that found in industrial flooring, external hardstandings and rigid pavements. The half-scale prism specimen enables the impact of crack geometry, reinforcement and load magnitude to be assessed in relation to load transfer deterioration, without the need for full scale testing. Each element of the testing procedure has been developed to represent site conditions in respect to crack development, loading and support. A selection of the test results are presented which indicate that joint/crack deterioration consists of four distinct phases, each controlled by a different mechanism of material degradation. This information can be used to enhance understanding of joint/crack behaviour and their failure mechanisms, hence improving design and maintenance procedures

Hypertension in mice lacking 11beta-hydroxysteroid dehydrogenase type 2

Deficiency of 11β-hydroxysteroid dehydrogenase type 2 (11β-HSD2) in humans leads to the syndrome of apparent mineralocorticoid excess (SAME), in which cortisol illicitly occupies mineralocorticoid receptors, causing sodium retention, hypokalemia, and hypertension. However, the disorder is usually incompletely corrected by suppression of cortisol, suggesting additional and irreversible changes, perhaps in the kidney. To examine this further, we produced mice with targeted disruption of the 11β-HSD2 gene. Homozygous mutant mice (11β-HSD2(–/–)) appear normal at birth, but ∼50% show motor weakness and die within 48 hours. Both male and female survivors are fertile but exhibit hypokalemia, hypotonic polyuria, and apparent mineralocorticoid activity of corticosterone. Young adult 11β-HSD2(–/–) mice are markedly hypertensive, with a mean arterial blood pressure of 146 ± 2 mmHg, compared with 121 ± 2 mmHg in wild-type controls and 114 ± 4 mmHg in heterozygotes. The epithelium of the distal tubule of the nephron shows striking hypertrophy and hyperplasia. These histological changes do not readily reverse with mineralocorticoid receptor antagonism in adulthood. Thus, 11β-HSD2(–/–) mice demonstrate the major features of SAME, providing a unique rodent model to study the molecular mechanisms of kidney resetting leading to hypertension. J. Clin. Invest. 103:683–689 (1999

Effect of dialysate composition on intercompartmental fluid shift

Effect of dialysate composition on intercompartmental fluid shift. Effect of dialysate composition on intercompartmental fluid shift and hemodynamics was studied in 12 patients during 1.5 or 2 hours of hemodialysis without net ultrafiltration, using high (H;Na 154 mmol/liter), normal (N;Na 140 mmol/liter) or low (L:Na 126 mmol/liter) concentration dialysate. H dialysate was associated with a small (0.9%) increase in blood volume, a larger increase in plasma volume and a decrease in erythrocyte volume. L dialysate resulted in a 2.3% decrease in blood volume, a larger decrease in plasma volume and an increase in erythrocyte volume. N dialysate gave results which were intermediately between the other two dialysis conditions. There was no difference in the post-dialysis mean arterial pressure between the groups, although heart rate increased more during H dialysis than during the other two conditions. Change in blood and erythrocyte volume correlated significantly with change in plasma Na concentration and osmolality, but not with change in plasma urea concentration. We conclude that dialysate composition affects the movement of water into and out of the plasma and erythrocytes in a manner that can be accounted for by altered plasma concentrations of osmotically active substances

Cost-effectiveness of scaling up mass drug administration for the control of soil-transmitted helminths: a comparison of cost function and constant costs analyses.

BACKGROUND: The coverage of mass drug administration (MDA) for neglected tropical diseases, such as the soil-transmitted helminths (STHs), needs to rapidly expand to meet WHO's 2020 targets. We aimed to compare use of a cost function to take into account economies of scale to the standard method of assuming a constant cost per treatment when investigating the cost and cost-effectiveness of scaling up a STH MDA programme targeting Ascaris lumbricoides. METHODS: We fitted a cost function describing how the costs of MDA change with scale to empirical cost data and incorporated it into a STH transmission model. Using this cost function, we investigated the consequences of taking into account economies of scale on the projected cost-effectiveness of STH control, by comparison with the standard method of assuming a constant cost per treatment. The cost function was fitted to economic cost data collected as part of a school-based deworming programme in Uganda using maximum likelihood methods. We used the model to investigate the total reduction in the overall worm burden, the total number of prevalent infection case-years averted, and the total number of heavy infection case-years averted. For each year, we calculated the effectiveness as the difference between the worm burden or number of cases and the number in absence of treatment. FINDINGS: When using the cost function, the cost-effectiveness of STH control markedly increased as the programme was scaled up. By contrast, the standard method (constant cost per treatment) undervalued this and generated misleading conclusions. For example, when scaling up control in the projected district from 10% to 75% coverage of at-risk school-age children, the cost-effectiveness in terms of prevention of heavy burden infections was projected to increase by over 70% when using the cost function, but decrease by 18% when assuming a constant cost per treatment. INTERPRETATION: The current exclusion of economies of scale in most economic analyses must be addressed if the most cost-effective policies for the control of neglected tropical diseases are to be formulated. These findings are also relevant to other large-scale disease interventions. FUNDING: GlaxoSmithKline, Bill & Melinda Gates Foundation, Partnership for Child Development, and Wellcome Trust

Cost-effectiveness of scaling up mass drug administration for the control of soil-transmitted helminths : a comparison of cost function and constant costs analyses

Background: The coverage of mass drug administration (MDA) for neglected tropical diseases, such as the soil-transmitted helminths (STHs), needs to rapidly expand to meet WHO's 2020 targets. We aimed to compare use of a cost function to take into account economies of scale to the standard method of assuming a constant cost per treatment when investigating the cost and cost-effectiveness of scaling up a STH MDA programme targeting Ascaris lumbricoides. Methods: We fitted a cost function describing how the costs of MDA change with scale to empirical cost data and incorporated it into a STH transmission model. Using this cost function, we investigated the consequences of taking into account economies of scale on the projected cost-effectiveness of STH control, by comparison with the standard method of assuming a constant cost per treatment. The cost function was fitted to economic cost data collected as part of a school-based deworming programme in Uganda using maximum likelihood methods. We used the model to investigate the total reduction in the overall worm burden, the total number of prevalent infection case-years averted, and the total number of heavy infection case-years averted. For each year, we calculated the effectiveness as the difference between the worm burden or number of cases and the number in absence of treatment. Findings: When using the cost function, the cost-effectiveness of STH control markedly increased as the programme was scaled up. By contrast, the standard method (constant cost per treatment) undervalued this and generated misleading conclusions. For example, when scaling up control in the projected district from 10% to 75% coverage of at-risk school-age children, the cost-effectiveness in terms of prevention of heavy burden infections was projected to increase by over 70% when using the cost function, but decrease by 18% when assuming a constant cost per treatment. Interpretation: The current exclusion of economies of scale in most economic analyses must be addressed if the most cost-effective policies for the control of neglected tropical diseases are to be formulated. These findings are also relevant to other large-scale disease interventions

Turbulence and Steady Flows in 3D Global Stratified MHD Simulations of Accretion Disks

We present full 2 Pi global 3-D stratified MHD simulations of accretion disks. We interpret our results in the context of proto-planetary disks. We investigate the turbulence driven by the magneto-rotational instability (MRI) using the PLUTO Godunov code in spherical coordinates with the accurate and robust HLLD Riemann solver. We follow the turbulence for more than 1500 orbits at the innermost radius of the domain to measure the overall strength of turbulent motions and the detailed accretion flow pattern. We find that regions within two scale heights of the midplane have a turbulent Mach number of about 0.1 and a magnetic pressure two to three orders of magnitude less than the gas pressure, while outside three scale heights the magnetic pressure equals or exceeds the gas pressure and the turbulence is transonic, leading to large density fluctuations. The strongest large-scale density disturbances are spiral density waves, and the strongest of these waves has m=5. No clear meridional circulation appears in the calculations because fluctuating radial pressure gradients lead to changes in the orbital frequency, comparable in importance to the stress gradients that drive the meridional flows in viscous models. The net mass flow rate is well-reproduced by a viscous model using the mean stress distribution taken from the MHD calculation. The strength of the mean turbulent magnetic field is inversely proportional to the radius, so the fields are approximately force-free on the largest scales. Consequently the accretion stress falls off as the inverse square of the radius.Comment: Accepted for publication in Ap

Trends and emissions of six perfluorocarbons in the Northern Hemisphere and Southern Hemisphere

Perfluorocarbons (PFCs) are potent greenhouse gases with global warming potentials up to several thousand times greater than CO2 on a 100-year time horizon. The lack of any significant sinks for PFCs means that they have long atmospheric lifetimes of the order of thousands of years. Anthropogenic production is thought to be the only source for most PFCs. Here we report an update on the global atmospheric abundances of the following PFCs, most of which have for the first time been analytically separated according to their isomers: c-octafluorobutane (c-C4F8), n-decafluorobutane (n-C4F10), n-dodecafluoropentane (n-C5F12), n-tetradecafluorohexane (n-C6F14), and n-hexadecafluoroheptane (n-C7F16). Additionally, we report the first data set on the atmospheric mixing ratios of perfluoro-2-methylpentane (i-C6F14). The existence and significance of PFC isomers have not been reported before, due to the analytical challenges of separating them. The time series spans a period from 1978 to the present. Several data sets are used to investigate temporal and spatial trends of these PFCs: time series of air samples collected at Cape Grim, Australia, from 1978 to the start of 2018; a time series of air samples collected between July 2015 and April 2017 at Tacolneston, UK; and intensive campaign-based sampling collections from Taiwan. Although the remote “background” Southern Hemispheric Cape Grim time series indicates that recent growth rates of most of these PFCs are lower than in the 1990s, we continue to see significantly increasing mixing ratios that are between 6 % and 27 % higher by the end of 2017 compared to abundances measured in 2010. Air samples from Tacolneston show a positive offset in PFC mixing ratios compared to the Southern Hemisphere baseline. The highest mixing ratios and variability are seen in air samples from Taiwan, which is therefore likely situated much closer to PFC sources, confirming predominantly Northern Hemispheric emissions for most PFCs. Even though these PFCs occur in the atmosphere at levels of parts per trillion molar or less, their total cumulative global emissions translate into 833 million metric tonnes of CO2 equivalent by the end of 2017, 23 % of which has been emitted since 2010. Almost two-thirds of the CO2 equivalent emissions within the last decade are attributable to c-C4F8, which currently also has the highest emission rates that continue to grow. Sources of all PFCs covered in this work remain poorly constrained and reported emissions in global databases do not account for the abundances found in the atmosphere

Grasping at digitalisation: turning imagination into fact in the sugarcane farming community

Nutrient runoff from catchments that drain into the Great Barrier Reef (GBR) is a significant source of stress for this World Heritage Area. An alliance of collaborative on-ground water quality monitoring (Project 25) and technologically driven digital application development (Digiscape GBR) projects were formulated to provide data that highlighted the contribution of a network of Australian sugar cane farmers, amongst other sources, to nutrient runoff. This environmental data and subsequent information were extended to the farming community through scientist-led feedback sessions and the development of specialised digital technology (1622 (TM) WQ) that help build an understanding of the nutrient movements, in this case nitrogen, such that farmers might think about and eventually act to alter their fertilizer application practices. This paper reflects on a socio-environmental sustainability challenge that emerged during this case study, by utilising the nascent concept of digi-grasping. We highlight the importance of the entire agricultural knowledge and advice network being part of an innovation journey to increase the utility of digital agricultural technologies developed to increase overall sustainability. We develop the digi-MAST analytical framework, which explores modes of being and doing in the digital world, ranging from 'the everyday mystery of the digital world (M)', through digital 'awareness (A)', digitally 'sparked' being/s (S), and finally the ability of individuals and/or groups to 'transform (T)' utilising digital technologies and human imaginations. Our digi-MAST framework allows us to compare agricultural actors, in this case, to understand present modes of digi-grasping to help determine the resources and actions likely to be required to achieve impact from the development of various forms of digital technological research outputs