Over the last years, security-kernels have played a promising role in reshaping the landscape of platform security on embedded devices. Security-kernels, such as separation kernels, enable constructing high-assurance mixed-criticality execution platforms on a small TCB, which enforces isolation between components. The reduced TCB  minimizes the system attack surface and facilitates the use of formal methods to ensure the kernel functional correctness and security. In this thesis, we explore various aspects of building a provably secure separation kernel using virtualization technology. We show how the memory management subsystem can be virtualized to enforce isolation of system components. Virtualization is done using direct-paging that enables a guest software to manage its own memory configuration. We demonstrate the soundness of our approach by verifying that the high-level model of the system fulfills the desired security properties. Through refinement, we then propagate these properties (semi-)automatically to the machine-code of the virtualization mechanism. Further, we show how a runtime monitor can be securely deployed alongside a Linux guest on a hypervisor to prevent code injection attacks targeting Linux. The monitor takes advantage of the provided separation to protect itself and to retain a complete view of the guest. Separating components using a low-level software cannot by itself guarantee the system security. Indeed, current processors architecture involves features that can be utilized to violate the isolation of components. We present a new low-noise attack vector constructed by measuring caches effects which is capable of breaching isolation of components and invalidates the verification of a software that has been verified on a memory coherent model. To restore isolation, we provide several countermeasures and propose a methodology to repair the verification by including data-caches in the statement of the top-level security properties of the system. / <p>QC 20170831</p> / PROSPER / HASPOC

Both temperature and terrestrial dissolved organic carbon (TDOC) have strong impacts on aquatic food web dynamics and production. Temperature affects vital rates of all organisms and terrestrial carbon has been shown to alter the dynamics of phytoplankton and bacterial production and affect the trophic structure of planktonic food webs. As climate change predictions for the Baltic Sea suggests future increases in both terrestrial carbon run-off and increases in temperature, the aim of thesis was to adopt a system-ecological approach and study effects of these abiotic variables, not only on interactions within planktonic food webs, but also on the growth and consumption rates of one of the most common zooplanktivorous fish in the Baltic Sea, the three-spined stickleback Gasterosteus aculeatus. Results showed that three-spined sticklebacks display a high degree of resilience against increasing temperatures, as both growth rates as well as consumption rates on zooplankton were high at temperatures well over 20 °C. Furthermore, it was shown that the minimal resource densities required to sustain individual and population growth, actually decreased with increasing temperatures, implying that sticklebacks around their optimum temperature for growth at 21 °C will actually have an increased scope for growth. As stickleback population densities have increased over the last decade in the Baltic Sea and are now suggested to out-compete other coastal fish species for shared zooplankton resources, the results presented in this thesis suggest that increased water temperatures would only serve to increase sticklebacks competitive advantage. As the structuring role of this small zooplanktivore on pelagic communities might be considerable, further studies investigating competitive interactions as well as patterns of population abundances are definitely warranted. TDOC was overall shown to stimulate bacterial production and the microbial food web. Because of the longer trophic pathways required to transport carbon from bacterial production to higher trophic levels, the addition of TDOC always reduced food web transfer efficiency. However, it became apparent that the full effect of TDOC additions on pelagic food webs was complex and depended heavily not only on the existing trophic structure to which the carbon was introduced, but also on ambient temperature levels. When three-spined sticklebacks were part of food webs with significant TDOC inputs, the presence of fish, indirectly, through predator release of lower trophic levels, amplified the magnitude of the effects of carbon addition on bacterial production, turning the base of the system significantly more heterotrophic, which ultimately, impacted negatively on their own production. However, when a pelagic food web containing sticklebacks was simultaneously subjected to realistic increases in temperature and TDOC concentrations, food web efficiency and fish production increased compared to present day conditions. These results were explained by a temperature dependent increased production potential of zooplankton, sustained by an increased production of heterotropic microzooplankton via TDOC additions, which lead to higher fish production. Although the increased number of trophic linkages in heterotrophic food webs should have reduced energy transfer efficiency, these negative effects seem here to have been overridden by the positive increases in zooplankton production as a result of increased temperature. These results show that heterotrophic carbon transfer can be a viable pathway to top-consumers, but also indicates that in order to understand the full effects of climate change on trophic dynamics and fish production, abiotic variables cannot be studied in isolation.

When a person drives a truck into the middle of a crowd celebrating Bastille Day in Nice, horrifying images, and witnessing stories is spread around the world. The Swedish nationwide evening tabloid newspaper Aftonbladet publishes the story during one week on their Facebook page, resulting in thousands of comments. This paper examines the interactive audience responses on social media towards the encounter of suffering caused in the Nice attack, 14th July 2016. Using framing analysis in combination with a qualitative content analysis the study focuses on 702 comments provided on Aftonbladets Facebook wall. This study analyses the opinions towards suffering visible in the material during the first days of the attack. Frame theory and media witnessing are used as theoretical framework. The analysis reveals four frames: the moral conflict frame where people criticize the witnessing by media, the reality conflict frame where people emphasizes suffering as a global issue, the justice conflict frame where suffering is discussed in terms compassion as something you deserve, and the emotional frame where people’s feelings of witnessing suffering is in focus. Previous research says that audiences are more likely to feel compassion towards victims if they can see themselves in them and/or if there is a short cultural and spatial distance between them, and this study has come to the same conclusion. However, this study contributes with knowledge about how the social media users negotiate compassion (the justice conflict frame and reality conflict frame) and focus on the questions of ethics when it comes to distant suffering (the moral conflict frame and emotional frame).

Les modélisations physiques actuelles des instruments de la famille des flûtes permettent de prédire correctement et d'interpréter leurs comportements quasi-stationnaires, c'est à dire les modifications du son induites par des variations lentes, par rapport au temps de réponse de l'instrument, des paramètres de contrôle .Le musicien fait cependant varier constamment ces paramètres pour articuler le discours musical. Au cours des transitoires d'attaques notamment, une variation brusque de la pression d'alimentation induit une mise en oscillation progressive de l'instrument. La naissance du son jouant un rôle important dans sa perception, la maîtrise de ces attaques est donc un point essentiel de l'apprentissage du jeu de la flûte et de la fabrication des instruments.Ce travail porte sur la caractérisation et l'interprétation physique des différents phénomènes ayant lieu au cours des transitoires d'attaque des flûtes à bec et des tuyaux d'orgue.Des attaques produites par des musiciens experts et novices sont étudiées dans le domaine spectral et temporel afin d'identifier et quantifier les mécanismes mis en jeu. La comparaison entre les différents musiciens permet de déterminer les phénomènes qu'ils contrôlent et ceux imposés par l'instrument.Après avoir modélisé l'impédance de l'ouverture au niveau du biseau, des simulations de transitoires d'attaque par modèles physique, montrent la capacité ou l'incapacité de ceux-ci à prédire et interpréter les phénomènes observés et leurs variations. Ce travail met ainsi en évidence la complexité des phénomènes contrôlés par les flutistes et les facteurs et les éléments qu'il reste à modéliser afin de pouvoir les interpréter. / Current physical models of flute-like instrument allow to predict and interpret quite well the quasi-stationary behaviors associated to the sound modifications induced by a slow variation of control parameters, compared to the response time of the instrument. However, the musician varies continuously these parameters to articulate the music. During the attack transient a sharp variation of supply pressure starts progressively the vibration of the instrument. The birth of the sound plays an important role for its perception. The control of these attacks is therefore an essential point of interest for the musicians and the instrument makers.The purpose of the studies presented here is to characterize and interpret physically the different phenomena occurring during attack transients of recorders and organ pipes. Attacks played by expert or novice musicians allow to identify and quantify the mechanisms involved. The comparison between musicians allows then to determine phenomena they control and the ones imposed by the instrument.The impedance of the resonator end near the edge is then modelled and included in physical models in order to simulate attack transients. These simulations show the ability or failure of models to predict and to interpret the phenomena observed experimentally and their variability. These studies illustrate the complexity of the phenomena controlled by recorder players and instrument makers and identify the aspects that still need to be modelled in order to interpret them.

La cristallisation du sel dans les pores peut conduire à l'expansion d'une variété de milieux poreux, y compris le béton, la pierre ou les sols. Par exemple, les attaques sulfatiques de matériaux cimentaires peuvent conduire à des cristallisations du gypse ou de l’ettringite, qui peuvent causer un endommagement et limiter la durabilité des structures en béton. Une meilleure compréhension de la façon dont la cristallisation induit la déformation des matériaux cimentaires est une condition préalable à la conception de moyens efficaces pour atténuer les effets néfastes de la cristallisation du sel. Dans cette thèse, nous cherchons à comprendre comment la cristallisation conduit à l'expansion, pour les matériaux à base de ciment dans le cas spécifique de la présence d'ions sulfatiques, qui est un cas pertinent pour la compréhension des attaques sulfatiques. La principale originalité de l'étude a été de réaliser des expériences avec des matériaux granulaires compactés dans des cellules œdométriques ou isochores. Les échantillons testés ont été fabriqués par broyage de pâtes de C3S, de pâtes de ciment Portland ordinaire, ou des mélanges des phases dont ces pâtes sont constituées (par exemple, monosulfoaluminate AFm), puis de les compacter dans des éprouvettes cylindriques sur une hauteur de 2 cm. Dans les cellules, les échantillons compactés sont très perméables et peuvent être saturés avec des solutions de sulfate de sodium en moins d’1 heure. Dans une cellule œdométrique, l'échantillon est empêché de se dilater radialement, mais est autorisé à se dilater axialement: nous avons mesuré comment des injections de solutions induisent une expansion axiale. Dans une cellule isochore, l'échantillon est empêché de se dilater à la fois radialement et axialement: nous avons mesuré comment des injections de solutions provoquent le développement de contraintes axiales et radiales. Un point notable des cellules isochores que nous avons développées est que toute solution s’évacue le long de l'échantillon et peut être récupérée: ainsi, à partir des mesures des concentrations et des volumes de solutions d'entrée et de sortie, la quantité de sulfates restant dans l'échantillon au cours des expériences pourrait être déterminée. En parallèle des mesures de déformation/contrainte, nous avons effectué des caractérisations minéralogiques et microstructurales des échantillons en utilisant une variété de techniques, notamment : la fluorescence X, l’analyse thermogravimétrique, la diffraction des rayons X, la résonance magnétique nucléaire d'aluminium et la microscopie électronique à balayage avec analyse aux rayons X. Les évolutions des concentrations de sortie et de la minéralogie au cours du processus d'injection ont pu être bien prédites avec le logiciel CHESS de modélisation géochimique. Les résultats expérimentaux de la campagne, en conjonction avec les résultats des caractérisations minéralogiques et microstructurales, ont permis de révéler quels sont les principaux paramètres qui régissent l'expansion. Grâce à ce protocole original que nous avons développé, l'expansion ou le développement de contraintes a commencé immédiatement après l'injection de la solution, s’est stabilisé au bout de quelques jours à quelques semaines, et la cristallisation a eu lieu de façon homogène sur toute la hauteur de l'échantillon. En outre, nous avons montré que la cristallisation du gypse contribue à l'expansion. Dans les tests isochores, nous montrons que les deux cristallisations d'ettringite et de gypse peuvent induire des contraintes, et que l'amplitude de ces contraintes dépend linéairement du volume de ces cristaux formés. Les conclusions tirées de cette étude expérimentale permettent de mieux comprendre les processus physiques par lesquels la cristallisation induit une expansion ou des contraintes dans des solides poreux, et permettent d’orienter la modélisation des attaques sulfatiques dans les matériaux cimentaires / In-pore crystallization can lead to expansion of a variety of porous media, including concrete, stone, or soils. For instance, sulfate attacks of cement-based materials can lead to crystallizations of gypsum or ettringite, which may cause damage and limit the durability of concrete structures. A better understanding of how crystallization induces deformation of cementitious materials is a prerequisite to designing efficient ways of mitigating the detrimental effects of salt crystallization. In this thesis, we aim at understanding how crystallization leads to expansion, for cement-based materials in the specific case of the presence of sulfate ions, which is relevant for sulfate attacks. The main originality of the study was to perform experiments with granular materials compacted into oedometric or isochoric cells. The tested samples were manufactured by grinding C3S pastes, regular Portland cement pastes, or mixtures of phases of which those pastes are made (e.g., monosulfoaluminate AFm), and then compacting them within the cell into 2-cm-high cylindrical specimens. In the cells, the highly permeable compacted samples could be flushed with sodium sulfate solutions in less than 1 hour. In an oedometric cell, the sample is prevented from expanding radially, but is allowed to expand axially: we measured how injections of solutions induced an axial expansion. In an isochoric cell, the sample is prevented from expanding both radially and axially: we measured how injections of solutions induced the development of axial and radial stresses. A salient feature of the isochoric cells we developed is that all solution flushed throughout the sample could be recovered: thus, from the measurements of concentrations and volumes of input and output solutions, the amount of sulfate remaining in the sample over the experiments could be determined. In parallel to the deformation/stress measurements, we also performed the mineralogical and microstructural characterizations of the samples before and after testing by using a variety of techniques, including X-ray fluorescence, thermogravimetric analysis, X-ray diffraction, aluminum nuclear magnetic resonance and scanning electron microscopy with X-ray analysis. The evolutions of the output concentrations and of the mineralogy over the injection process could be well predicted with the geochemical modeling software CHESS. Experimental results of the campaign, in conjunction with results from mineralogical and microstructural characterizations, made it possible to reveal what the main parameters are that govern expansion. Thanks to the original protocol we developed, expansion or development of stresses started immediately after the injection of solution, stabilized after a few days to a few dozen days, and crystallization occurred homogeneously throughout the height of the sample. One interesting conclusion is that, even when ettringite crystallizes in macropores, i.e., outside of the C-S-H gel porosity, ettringite can lead to an expansion. Also, we showed that gypsum crystallization contributes to expansion. In isochoric testing, we showed that both crystallization of ettringite and of gypsum can induce stresses, and that the magnitude of those stresses is linearly related to the volume of those crystals formed. The conclusions drawn from this experimental study make it possible to better understand the physical processes through which crystallization induces expansion or stresses in porous solids, and thus to orient the modeling of sulfate attacks in cement-based materials

No description available.

Abstrakt Hjärtinfarkt är ett av de största hälsoproblemen i Sverige idag. Kvinnor drabbas i stor utsträckning av hjärtinfarkt men de riskeras att missas då den mesta evidensen utgår från ett manligt perspektiv och normer. Syftet med denna integrerade litteraturöversikt var att sammanställa kunskap inom omvårdnadsforskning om kvinnors erfarenheter  efter att ha drabbats av en första hjärtinfarkt. En integrerad litteraturöversikt enligt Whittemore och Knafl metod utfördes och granskades enligt SBU:s riktlinjer. Kvalitativa, kvantitativa och mix studier sammanställdes. Sökningen utfördes i databasen CINAHL. Resultatet visade att kvinnors symtom vid en första hjärtinfarkt särskildes sig från mäns symtom och riskerades att missas av vården på grund av kunskapsbrist. Kvinnor avvaktade att uppsöka vård på grund av ovisshet kring symtomens allvar. Sjuksköterskan behöver uppmärksamma prodromala symtom samt lyfta frågor kring sexuellt samliv. Ny evidens behövs för att få kunskap om kvinnors upplevelser av att drabbas av en första hjärtinfarkt.

This thesis is aimed at monitoring of computer networks using NetFlow data. It describes main aspects of detection network anomalies using IDS systems. Next part describes Nemea framework, which is used for creating modules. These modules are able to detect network incidents and attacks. Following chapters contain a brief overview of common network attacks with their specific remarks which can help in process of their detection. Based on this analysis, the concept of mitigation rules was created. These rules can be used for mitigation of DDoS attack. This method was tested on several data sets and it produced multiple mitigation rules. These rules were applied on data sets and they marked most of the suspicious flows.

Up to present, ettrigite has been prepared by two means in the Institute of Technology of Building Materials and Components of the BUT Faculty of Civil Engineering: originally by the hydration of the yeelimite clinker; recently by the direct synthesis of ettringite from calcium hydroxide and aluminum sulfate, the latter being considered more suitable in qualitative and quantitative terms. This diploma thesis focuses on the comparison of both means, using ettringite produced by the latter as control sample. This endeavor focuses on monitoring the stability of ettringite and its possible conversion to other minerals using X-ray diffraction analysis, thermal analysis and scanning electron microscopy (SEM).

This thesis describes passwords cracking using probabilistic context-free grammars, specifically PCFG Cracker tool. The aim of the thesis is to design and implement enhancements to this tool, which reduce the size of output dictionaries while maintaining acceptable success rate. This work also solves critical parts in the tool that slow down the overall duration of the program. Another goal of the thesis is to analyze and implement targeted attack dictionaries that increase the scope and success rate of generated passwords.