An Aspect-Oriented Framework for Systematic Security Hardening of Software Azzam Mourad, Ph.D. Concordia University, 2008 In this thesis, we address the problems related to the security hardening of open source software. Accordingly, we first propose an aspect-oriented and pattern-based approach for systematic security hardening. It is based on the full separation between the roles and duties o...

P92 steel was irradiated with Ar ion up to 10 dpa at 200, 400, and 700 ◦C. The effect of Ar ion irradiation on hardness was investigated with nanoindentation tests and microstructure analyses. It was observed that irradiation-induced hardening occurred in the steel after Ar ion irradiation at all three temperatures to 10 dpa. The steel exhibited significant hardening at 200 and 700 ◦C, and slig...

Radiation-hardened processors are designed to be resilient against soft errors but such processors are slower than Commercial OffThe-Shelf (COTS) processors as well significantly costlier. In order to mitigate the high costs, software techniques such as task re-executions must be deployed together with adequately hardened processors to provide reliability. This leads to a huge design space comp...

This paper presents a method for implicit stress integration of the Drucker–Prager material model with kinematic hardening. The stress integration of the material model is conducted using the incremental plasticity method, while the kinematic hardening of material is defined using nonlinear Armstrong–Frederick hardening. This type of granular material hardening occurs as a consequence of the cy...

The age-hardening behavior of Fe−25.3Ni−1.7 Ti (wt pct) alloy both in undeformed specimens and in specimens cold deformed by 10 or 20 pct prior to aging was studied. The microstructural changes during aging were observed using transmission electron microscopy (TEM) and atom probe analysis and there were related to the mechanical properties as measured by microhardness and shear punch testing. A...

The colonies of thecate hydroids are covered with a chitinous tubelike outer skeleton, the perisarc. The perisarc shows a species-specific pattern of annuli, curvatures, and smooth parts. This pattern is exclusively formed at the growing tips at which the soft perisarc material is expelled by the underlying epithelium. Just behind the apex of the tip, this material hardens. We treated growing c...

Purpose: This paper proposes a sinogram-consistency learning method to deal with beamhardening related artifacts in polychromatic computerized tomography (CT). The presence of highly attenuating materials in the scan field causes an inconsistent sinogram, that does not match the range space of the Radon transform. When the mismatched data are entered into the range space during CT reconstructio...

In this paper, we present two new control flow based pointcuts to Aspect-Oriented Programming (AOP) languages that are needed for systematic hardening of security concerns. They allow to identify particular join points in a program’s control flow graph (CFG). The first proposed primitive is the GAFlow, the closest guaranteed ancestor, which returns the closest ancestor join point to the pointcu...

Recent work by the authors and others has shown that MR imaging is more sensitive than CT in the detection of acute stroke. To separate the effects of water content and water structure on MR signal intensity, we undertook two sets of experiments that used simple model systems: gelatin gels with increasing water content and hardened hens' eggs. CT and MR were performed on both systems. On CT the...

BACKGROUND It has been argued that as smoking prevalence declines in countries, the smokers that remain include higher proportions of those who are unwilling or unable to quit (a process known as 'hardening'). Smokeless tobacco and e-cigarettes have been promoted as a strategy to deal with such smokers. If hardening is occurring, there would be a positive association between smoking prevalence ...