Quantitative Analysis of DoS Attacks and Client Puzzles in IoT Systems

Denial of Service (DoS) attacks constitute a major security threat to today's Internet. This challenge is especially pertinent to the Internet of Things (IoT) as devices have less computing power, memory and security mechanisms to mitigate DoS attacks. This paper presents a model that mimics the unique characteristics of a network of IoT devices, including components of the system implementing `Crypto Puzzles' - a DoS mitigation technique. We created an imitation of a DoS attack on the system, and conducted a quantitative analysis to simulate the impact such an attack may potentially exert upon the system, assessing the trade off between security and throughput in the IoT system. We model this through stochastic model checking in PRISM and provide evidence that supports this as a valuable method to compare the efficiency of different implementations of IoT systems, exemplified by a case study

Key exchange with the help of a public ledger

Blockchains and other public ledger structures promise a new way to create globally consistent event logs and other records. We make use of this consistency property to detect and prevent man-in-the-middle attacks in a key exchange such as Diffie-Hellman or ECDH. Essentially, the MitM attack creates an inconsistency in the world views of the two honest parties, and they can detect it with the help of the ledger. Thus, there is no need for prior knowledge or trusted third parties apart from the distributed ledger. To prevent impersonation attacks, we require user interaction. It appears that, in some applications, the required user interaction is reduced in comparison to other user-assisted key-exchange protocols

Análisis socio ambiental de la Microcuenca La Peinada localizada en el municipio de Támesis – Antioquia - Colombia

Maestría en Desarrollo Sostenible y Medio Ambiente, Facultad de Ciencias Contables, Económicas y Administrativas.Para clasificar y distribuir de forma equitativa el recurso hídrico es necesario conocer cuáles son sus condiciones de disponibilidad en cuanto a caudales y calidad. Este proyecto de grado se centró en analizar las características socio-ambientales de la microcuenca La Peinada para realizar un diagnóstico en el que se identifiquen las actividades antrópicas que afectan la microcuenca, debido a las modificaciones y alteraciones que viene sufriendo dicho recurso hídrico a través de su recorrido como elemento unificador entre la vegetación, el suelo, la fauna, y el ser humano. Este último modifica la calidad y cantidad del recurso hídrico de acuerdo a sus necesidades sin tener en cuenta su manejo y conservación, ignorando que de esto depende la seguridad alimentaria; en pocas palabras, el desarrollo socio-económico, político y ambiental de la regió

Coverage of the 2011 Q fever vaccination campaign in the Netherlands, using retrospective population-based prevalence estimation of cardiovascular risk-conditions for chronic Q fever

Background: In 2011, a unique Q fever vaccination campaign targeted people at risk for chronic Q fever in the southeast of the Netherlands. General practitioners referred patients with defined cardiovascular risk-conditions (age >15 years). Prevalence rates of those risk-conditions were lacking, standing in the way of adequate planning and coverage estimation. We aimed to obtain prevalence rates retrospectively in order to estimate coverage of the Q fever vaccination campaign. Methods: With broad search terms for these predefined risk-conditions, we extracted patient-records from a large longitudinal general-practice research-database in the Netherlands (IPCI-database). Afte

Coverage of the 2011 Q fever vaccination campaign in the Netherlands, using retrospective population-based prevalence estimation of cardiovascular risk-conditions for chronic Q fever

Background: In 2011, a unique Q fever vaccination campaign targeted people at risk for chronic Q fever in the southeast of the Netherlands. General practitioners referred patients with defined cardiovascular risk-conditions (age >15 years). Prevalence rates of those risk-conditions were lacking, standing in the way of adequate planning and coverage estimation. We aimed to obtain prevalence rates retrospectively in order to estimate coverage of the Q fever vaccination campaign. Methods: With broad search terms for these predefined risk-conditions, we extracted patient-records from a large longitudinal general-practice research-database in the Netherlands (IPCI-database). Afte

Reference Ranges of Left Ventricular Strain Measures by Two-Dimensional Speckle-Tracking Echocardiography in Children: A Systematic Review and Meta-Analysis

BACKGROUND: Establishment of the range of reference values and associated variations of two-dimensional speckle-tracking echocardiography (2DSTE)-derived left ventricular (LV) strain is a prerequisite for its routine clinical adoption in pediatrics. The aims of this study were to perform a meta-analysis of normal ranges of LV global longitudinal strain (GLS), global circumferential strain (GCS), and global radial strain (GRS) measurements derived by 2DSTE in children and to identify confounding factors that may contribute to variance in reported measures. METHODS: A systematic review was launched in MEDLINE, Embase, Scopus, the Cumulative Index to Nursing and Allied Health Literature, and the Cochrane Library. Search hedges were created to cover the concepts of pediatrics, STE, and left-heart ventricle. Two investigators independently identified and included studies if they reported 2DSTE-derived LV GLS, GCS, or GRS. The weighted mean was estimated by using random effects models with 95% CIs, heterogeneity was assessed using the Cochran Q statistic and the inconsistency index (I(2)), and publication bias was evaluated using the Egger test. Effects of demographic (age), clinical, and vendor variables were assessed in a metaregression. RESULTS: The search identified 2,325 children from 43 data sets. The reported normal mean values of GLS among the studies varied from -16.7% to -23.6% (mean, -20.2%; 95% CI, -19.5% to -20.8%), GCS varied from -12.9% to -31.4% (mean, -22.3%; 95% CI, -19.9% to -24.6%), and GRS varied from 33.9% to 54.5% (mean, 45.2%; 95% CI, 38.3% to 51.7%). Twenty-six studies reported longitudinal strain only from the apical four-chamber view, with a mean of -20.4% (95% CI, -19.8% to -21.7%). Twenty-three studies reported circumferential strain (mean, -20.3%; 95% CI, -19.4% to -21.2%) and radial strain (mean, 46.7%; 95% CI, 42.3% to 51.1%) from the short-axis view at the midventricular level. A significant apex-to-base segmental longitudinal strain gradient (P 94% and P < .001 for each strain measure), which was not explained by age, gender, body surface area, blood pressure, heart rate, frame rate, frame rate/heart rate ratio, tissue-tracking methodology, location of reported strain value along the strain curve, ultrasound equipment, or software. The metaregression showed that these effects were not significant determinants of variations among normal ranges of strain values. There was no evidence of publication bias (P = .40). CONCLUSIONS: This study defines reference values of 2DSTE-derived LV strain in children on the basis of a meta-analysis. In healthy children, mean LV GLS was -20.2% (95% CI, -19.5% to -20.8%), mean GCS was -22.3% (95% CI, -19.9% to -24.6%), and mean GRS was 45.2% (95% CI, 38.3% to 51.7%). LV segmental longitudinal strain has a stable apex-to-base gradient that is preserved throughout maturation. Although variations among different reference ranges in this meta-analysis were not dependent on differences in demographic, clinical, or vendor parameters, age- and vendor-specific referenced ranges were established as well

On the chronological structure of the solutrean in Southern Iberia

The Solutrean techno-complex has gained particular significance over time for representing a clear demographic and techno-typological deviation from the developments occurred during the course of the Upper Paleolithic in Western Europe. Some of Solutrean's most relevant features are the diversity and techno-typological characteristics of the lithic armatures. These have been recurrently used as pivotal elements in numerous Solutrean-related debates, including the chronological organization of the techno-complex across Iberia and Southwestern France. In Southern Iberia, patterns of presence and/or absence of specific point types in stratified sequences tend to validate the classical ordering of the techno-complex into Lower, Middle and Upper phases, although some evidence, namely radiocarbon determinations, have not always been corroborative. Here we present the first comprehensive analysis of the currently available radiocarbon data for the Solutrean in Southern Iberia. We use a Bayesian statistical approach from 13 stratified sequences to compare the duration, and the start and end moments of each classic Solutrean phase across sites. We conclude that, based on the current data, the traditional organization of the Solutrean cannot be unquestionably confirmed for Southern Iberia, calling into doubt the status of the classically defined type-fossils as precise temporal markers.Fundacao para a Ciencia e Tecnologia [PTDC/HAH/64184/2006, PTDC/HIS-ARQ/117540/2010, SFRH/BD/65527/2009, SFRH/BPD/96277/2013]; National Geographic Society [8045-06]; Wenner-Gren Foundation for Anthropological Research [8290

Precipitation mediates sap flux sensitivity to evaporative demand in the neotropics

Transpiration in humid tropical forests modulates the global water cycle and is a key driver of climate regulation. Yet, our understanding of how tropical trees regulate sap flux in response to climate variability remains elusive. With a progressively warming climate, atmospheric evaporative demand [i.e., vapor pressure deficit (VPD)] will be increasingly important for plant functioning, becoming the major control of plant water use in the twenty-first century. Using measurements in 34 tree species at seven sites across a precipitation gradient in the neotropics, we determined how the maximum sap flux velocity (vmax) and the VPD threshold at which vmax is reached (VPDmax) vary with precipitation regime [mean annual precipitation (MAP); seasonal drought intensity (PDRY)] and two functional traits related to foliar and wood economics spectra [leaf mass per area (LMA); wood specific gravity (WSG)]. We show that, even though vmax is highly variable within sites, it follows a negative trend in response to increasing MAP and PDRY across sites. LMA and WSG exerted little effect on vmax and VPDmax, suggesting that these widely used functional traits provide limited explanatory power of dynamic plant responses to environmental variation within hyper-diverse forests. This study demonstrates that long-term precipitation plays an important role in the sap flux response of humid tropical forests to VPD. Our findings suggest that under higher evaporative demand, trees growing in wetter environments in humid tropical regions may be subjected to reduced water exchange with the atmosphere relative to trees growing in drier climates