Model-driven Information Flow Security for Component-Based Systems

International audienceThis paper proposes a formal framework for studying information flow security in component-based systems. The security policy is defined and verified from the early steps of the system design. Two kinds of non-interference properties are formally introduced and for both of them, sufficient conditions that ensures and simplifies the automated verification are proposed. The verification is compositional, first locally, by checking the behavior of every atomic component and then globally, by checking the inter-components communication and coordination. The potential benefits are illustrated on a concrete case study about constructing secure heterogeneous distributed systems

Undiagnosed osteoid osteoma of the spine presenting as painful scoliosis from adolescence to adulthood: a case report

Presented here is a case of a young woman, with an undiagnosed osteoid osteoma of the spine, which presented with painful scoliosis in adolescence and was treated by bracing until her accession to adulthood. A more thorough investigation, years after the initial one, revealed the tumor. Surgical excision and stabilization offered the long-awaited cure. Misdiagnosis resulted in intractable pain for years, deformity, the discomfort of brace therapy, and the frustration of a prolonged yet ineffective treatment

Vortex formation and recirculation zones in left anterior descending artery stenoses: computational fluid dynamics analysis

Flow patterns may affect the potential of thrombus formation following plaque rupture. Computational fluid dynamics (CFD) were employed to assess hemodynamic conditions, and particularly flow recirculation and vortex formation in reconstructed arterial models associated with ST-elevation myocardial infraction (STEMI) or stable coronary stenosis (SCS) in the left anterior descending coronary artery (LAD). Results indicate that in the arterial models associated with STEMI, a 50% diameter stenosis immediately before or after a bifurcation creates a recirculation zone and vortex formation at the orifice of the bifurcation branch, for most of the cardiac cycle, thus allowing the creation of stagnating flow. These flow patterns are not seen in the SCS model with an identical stenosis. Post-stenotic recirculation in the presence of a 90% stenosis was evident at both the STEMI and SCS models. The presence of 90% diameter stenosis resulted in flow reduction in the LAD of 51.5% and 35.9% in the STEMI models and 37.6% in the SCS model, for a 10 mmHg pressure drop. CFD simulations in a reconstructed model of stenotic LAD segments indicate that specific anatomic characteristics create zones of vortices and flow recirculation that promote thrombus formation and potentially myocardial infarction

Neurosteroid Dehydroepiandrosterone Interacts with Nerve Growth Factor (NGF) Receptors, Preventing Neuronal Apoptosis

The neurosteroid dehydroepiandrosterone (DHEA), produced by neurons and glia, affects multiple processes in the brain, including neuronal survival and neurogenesis during development and in aging. We provide evidence that DHEA interacts with pro-survival TrkA and pro-death p75NTR membrane receptors of neurotrophin nerve growth factor (NGF), acting as a neurotrophic factor: (1) the anti-apoptotic effects of DHEA were reversed by siRNA against TrkA or by a specific TrkA inhibitor; (2) [3H]-DHEA binding assays showed that it bound to membranes isolated from HEK293 cells transfected with the cDNAs of TrkA and p75NTR receptors (KD: 7.4±1.75 nM and 5.6±0.55 nM, respectively); (3) immobilized DHEA pulled down recombinant and naturally expressed TrkA and p75NTR receptors; (4) DHEA induced TrkA phosphorylation and NGF receptor-mediated signaling; Shc, Akt, and ERK1/2 kinases down-stream to TrkA receptors and TRAF6, RIP2, and RhoGDI interactors of p75NTR receptors; and (5) DHEA rescued from apoptosis TrkA receptor positive sensory neurons of dorsal root ganglia in NGF null embryos and compensated NGF in rescuing from apoptosis NGF receptor positive sympathetic neurons of embryonic superior cervical ganglia. Phylogenetic findings on the evolution of neurotrophins, their receptors, and CYP17, the enzyme responsible for DHEA biosynthesis, combined with our data support the hypothesis that DHEA served as a phylogenetically ancient neurotrophic factor

Internal fixation treatments for intertrochanteric fracture: A systematic review and meta-Analysis of randomized evidence

The relative effects of internal fixation strategies for intertrochanteric fracture after operation remain uncertain. We conducted a systematic review and meta-Analysis of randomized controlled trials (RCTs) to address this important issue. We searched PubMed, EMBASE and CENTRAL for RCTs that compared different internal fixation implants in patients with intertrochanteric fracture at 6-month follow-up or longer. We ultimately included 43 trials enrolling 6911 patients; most trials were small in sample sizes and events. Their risk of bias was generally unclear due to insufficient reporting. Because of these, no statistically significant differences were present from most of the comparisons across all the outcomes, and no definitive conclusions can be made. However, a number of trials compared two commonly used internal fixation strategies, gamma nail (GN) and sliding hip screw (SHS). There is good evidence suggesting that, compared to SHS, GN may increase the risk of cut out (OR = 1.87, 95% CI, 1.08 to 3.21), re-operation (OR = 1.61, 95% CI, 1.02 to 2.53), intra-operative (OR = 3.14, 95% CI, 1.34 to 7.35) and later fractures (OR = 3.67, 95% CI, 1.37 to 9.83). Future randomized trials or observational studies that are carefully designed and conducted are warranted to establish the effects of alternative internal fixation strategies for intertrochanteric fracture

Quantification of Nanoscale Dose Enhancement in Gold Nanoparticle-Aided External Photon Beam Radiotherapy

The recent progress in Nanotechnology has introduced Gold Nanoparticles (AuNPs) as promising radiosensitizing agents in radiation oncology. This work aims to estimate dose enhancement due to the presence of AuNPs inside an irradiated water region through Monte Carlo calculations. The GATE platform was used to simulate 6 MV photon histories generated from a TrueBeam® linear accelerator with and without a Flattening Filter (FF) and model AuNPs clusters. The AuNPs size, concentration and distribution pattern were examined. To investigate different clinical irradiation conditions, the effect of field size, presence of FF and placement of AuNPs in water were evaluated. The range of Dose Enhancement Factors (DEF = DoseAu/DoseWater) calculated in this study is 0.99 ± 0.01–1.26 ± 0.02 depending on photon beam quality, distance from AuNPs surface, AuNPs size and concentration and pattern of distribution. The highest DEF is reported for irradiation using un-flattened photon beams and at close distances from AuNPs. The obtained findings suggest that dose deposition could be increased in regions that represent whole cells or subcellular targets (mitochondria, cell nucleus, etc.). Nevertheless, further and consistent research is needed in order to make a step toward AuNP-aided radiotherapy in clinical practice. © 2022 by the authors. Licensee MDPI, Basel, Switzerland