Model-Based Security Testing

Security testing aims at validating software system requirements related to security properties like confidentiality, integrity, authentication, authorization, availability, and non-repudiation. Although security testing techniques are available for many years, there has been little approaches that allow for specification of test cases at a higher level of abstraction, for enabling guidance on test identification and specification as well as for automated test generation. Model-based security testing (MBST) is a relatively new field and especially dedicated to the systematic and efficient specification and documentation of security test objectives, security test cases and test suites, as well as to their automated or semi-automated generation. In particular, the combination of security modelling and test generation approaches is still a challenge in research and of high interest for industrial applications. MBST includes e.g. security functional testing, model-based fuzzing, risk- and threat-oriented testing, and the usage of security test patterns. This paper provides a survey on MBST techniques and the related models as well as samples of new methods and tools that are under development in the European ITEA2-project DIAMONDS.Comment: In Proceedings MBT 2012, arXiv:1202.582

Interleukin‐6 initiates muscle‐ and adipose tissue wasting in a novel C57BL/6 model of cancer‐associated cachexia

BACKGROUND: Cancer‐associated cachexia (CAC) is a wasting syndrome drastically reducing efficacy of chemotherapy and life expectancy of patients. CAC affects up to 80% of cancer patients, yet the mechanisms underlying the disease are not well understood and no approved disease‐specific medication exists. As a multiorgan disorder, CAC can only be studied on an organismal level. To cover the diverse aetiologies of CAC, researchers rely on the availability of a multifaceted pool of cancer models with varying degrees of cachexia symptoms. So far, no tumour model syngeneic to C57BL/6 mice exists that allows direct comparison between cachexigenic‐ and non‐cachexigenic tumours. METHODS: MCA207 and CHX207 fibrosarcoma cells were intramuscularly implanted into male or female, 10–11‐week‐old C57BL/6J mice. Tumour tissues were subjected to magnetic resonance imaging, immunohistochemical‐, and transcriptomic analysis. Mice were analysed for tumour growth, body weight and ‐composition, food‐ and water intake, locomotor activity, O(2) consumption, CO(2) production, circulating blood cells, metabolites, and tumourkines. Mice were sacrificed with same tumour weights in all groups. Adipose tissues were examined using high‐resolution respirometry, lipolysis measurements in vitro and ex vivo, and radioactive tracer studies in vivo. Gene expression was determined in adipose‐ and muscle tissues by quantitative PCR and Western blotting analyses. Muscles and cultured myotubes were analysed histologically and by immunofluorescence microscopy for myofibre cross sectional area and myofibre diameter, respectively. Interleukin‐6 (Il‐6) was deleted from cancer cells using CRISPR/Cas9 mediated gene editing. RESULTS: CHX207, but not MCA207‐tumour‐bearing mice exhibited major clinical features of CAC, including systemic inflammation, increased plasma IL‐6 concentrations (190 pg/mL, P ≤ 0.0001), increased energy expenditure (+28%, P ≤ 0.01), adipose tissue loss (−47%, P ≤ 0.0001), skeletal muscle wasting (−18%, P ≤ 0.001), and body weight reduction (−13%, P ≤ 0.01) 13 days after cancer cell inoculation. Adipose tissue loss resulted from reduced lipid uptake and ‐synthesis combined with increased lipolysis but was not associated with elevated beta‐adrenergic signalling or adipose tissue browning. Muscle atrophy was evident by reduced myofibre cross sectional area (−21.8%, P ≤ 0.001), increased catabolic‐ and reduced anabolic signalling. Deletion of IL‐6 from CHX207 cancer cells completely protected CHX207(IL6KO)‐tumour‐bearing mice from CAC. CONCLUSIONS: In this study, we present CHX207 fibrosarcoma cells as a novel tool to investigate the mediators and metabolic consequences of CAC in C57BL/6 mice in comparison to non‐cachectic MCA207‐tumour‐bearing mice. IL‐6 represents an essential trigger for CAC development in CHX207‐tumour‐bearing mice

Loss of adipose triglyceride lipase is associated with human cancer and induces mouse pulmonary neoplasia

Metabolic reprogramming is a hallmark of cancer. Understanding cancer metabolism is instrumental to devise innovative therapeutic approaches. Anabolic metabolism, including the induction of lipogenic enzymes, is a key feature of proliferating cells. Here, we report a novel tumor suppressive function for adipose triglyceride lipase (ATGL), the rate limiting enzyme in the triglyceride hydrolysis cascade. In immunohistochemical analysis, non-small cell lung cancers, pancreatic adenocarcinoma as well as leiomyosarcoma showed significantly reduced levels of ATGL protein compared to corresponding normal tissues. The ATGL gene was frequently deleted in various forms of cancers. Low levels of ATGL mRNA correlated with significantly reduced survival in patients with ovarian, breast, gastric and non-small cell lung cancers. Remarkably, pulmonary neoplasia including invasive adenocarcinoma developed spontaneously in mice lacking ATGL pointing to an important role for this lipase in controlling tumor development. Loss of ATGL, as detected in several forms of human cancer, induces spontaneous development of pulmonary neoplasia in a mouse model. Our results, therefore, suggest a novel tumor suppressor function for ATGL and contribute to the understanding of cancer metabolism. We propose to evaluate loss of ATGL protein expression for the diagnosis of malignant tumors. Finally, modulation of the lipolytic pathway may represent a novel therapeutic approach in the treatment of human cancer

A-to-I editing in human miRNAs is enriched in seed sequence, influenced by sequence contexts and significantly hypoedited in glioblastoma multiforme

Editing in microRNAs, particularly in seed can significantly alter the choice of their target genes. We show that out of 13 different human tissues, different regions of brain showed higher adenosine to inosine (A-to-I) editing in mature miRNAs. These events were enriched in seed sequence (73.33%), which was not observed for cytosine to uracil (17.86%) editing. More than half of the edited miRNAs showed increased stability, 72.7% of which had ΔΔG values less than -6.0 Kcal/mole and for all of them the edited adenosines mis-paired with cytosines on the pre-miRNA structure. A seed-editing event in hsa-miR-411 (with A – C mismatch) lead to increased expression of the mature form compared to the unedited version in cell culture experiments. Further, small RNA sequencing of GBM patient identified significant miRNA hypoediting which correlated with downregulation of ADAR2 both in metadata and qRT-PCR based validation. Twenty-two significant (11 novel) A-to-I hypoediting events were identified in GBM samples. This study highlights the importance of specific sequence and structural requirements of pre-miRNA for editing along with a suggestive crucial role for ADAR2. Enrichment of A-to-I editing in seed sequence highlights this as an important layer for genomic regulation in health and disease, especially in human brain

Eosinophils in glioblastoma biology

Glioblastoma multiforme (GBM) is the most common primary brain tumor in adults. The development of this malignant glial lesion involves a multi-faceted process that results in a loss of genetic or epigenetic gene control, un-regulated cell growth, and immune tolerance. Of interest, atopic diseases are characterized by a lack of immune tolerance and are inversely associated with glioma risk. One cell type that is an established effector cell in the pathobiology of atopic disease is the eosinophil. In response to various stimuli, the eosinophil is able to produce cytotoxic granules, neuromediators, and pro-inflammatory cytokines as well as pro-fibrotic and angiogenic factors involved in pathogen clearance and tissue remodeling and repair. These various biological properties reveal that the eosinophil is a key immunoregulatory cell capable of influencing the activity of both innate and adaptive immune responses. Of central importance to this report is the observation that eosinophil migration to the brain occurs in response to traumatic brain injury and following certain immunotherapeutic treatments for GBM. Although eosinophils have been identified in various central nervous system pathologies, and are known to operate in wound/repair and tumorstatic models, the potential roles of eosinophils in GBM development and the tumor immunological response are only beginning to be recognized and are therefore the subject of the present review

Addressing climate change with behavioral science: a global intervention tournament in 63 countries

Effectively reducing climate change requires marked, global behavior change. However, it is unclear which strategies are most likely to motivate people to change their climate beliefs and behaviors. Here, we tested 11 expert-crowdsourced interventions on four climate mitigation outcomes: beliefs, policy support, information sharing intention, and an effortful tree-planting behavioral task. Across 59,440 participants from 63 countries, the interventions’ effectiveness was small, largely limited to nonclimate skeptics, and differed across outcomes: Beliefs were strengthened mostly by decreasing psychological distance (by 2.3%), policy support by writing a letter to a future-generation member (2.6%), information sharing by negative emotion induction (12.1%), and no intervention increased the more effortful behavior—several interventions even reduced tree planting. Last, the effects of each intervention differed depending on people’s initial climate beliefs. These findings suggest that the impact of behavioral climate interventions varies across audiences and target behaviors

Global patient outcomes after elective surgery: prospective cohort study in 27 low-, middle- and high-income countries.

BACKGROUND: As global initiatives increase patient access to surgical treatments, there remains a need to understand the adverse effects of surgery and define appropriate levels of perioperative care. METHODS: We designed a prospective international 7-day cohort study of outcomes following elective adult inpatient surgery in 27 countries. The primary outcome was in-hospital complications. Secondary outcomes were death following a complication (failure to rescue) and death in hospital. Process measures were admission to critical care immediately after surgery or to treat a complication and duration of hospital stay. A single definition of critical care was used for all countries. RESULTS: A total of 474 hospitals in 19 high-, 7 middle- and 1 low-income country were included in the primary analysis. Data included 44 814 patients with a median hospital stay of 4 (range 2-7) days. A total of 7508 patients (16.8%) developed one or more postoperative complication and 207 died (0.5%). The overall mortality among patients who developed complications was 2.8%. Mortality following complications ranged from 2.4% for pulmonary embolism to 43.9% for cardiac arrest. A total of 4360 (9.7%) patients were admitted to a critical care unit as routine immediately after surgery, of whom 2198 (50.4%) developed a complication, with 105 (2.4%) deaths. A total of 1233 patients (16.4%) were admitted to a critical care unit to treat complications, with 119 (9.7%) deaths. Despite lower baseline risk, outcomes were similar in low- and middle-income compared with high-income countries. CONCLUSIONS: Poor patient outcomes are common after inpatient surgery. Global initiatives to increase access to surgical treatments should also address the need for safe perioperative care. STUDY REGISTRATION: ISRCTN5181700

Diesel Fueled SOFC for Class 7/Class 8 On-Highway Truck Auxiliary Power

The following report documents the progress of the Cummins Power Generation (CPG) Diesel Fueled SOFC for Class 7/Class 8 On-Highway Truck Auxiliary Power (SOFC APU) development and final testing under the U.S. Department of Energy (DOE) Energy Efficiency and Renewable Energy (EERE) contract DE-FC36-04GO14318. This report overviews and summarizes CPG and partner development leading to successful demonstration of the SOFC APU objectives and significant progress towards SOFC commercialization. Significant SOFC APU Milestones: Demonstrated: Operation meeting SOFC APU requirements on commercial Ultra Low Sulfur Diesel (ULSD) fuel. SOFC systems operating on dry CPOX reformate. Successful start-up and shut-down of SOFC APU system without inert gas purge. Developed: Low cost balance of plant concepts and compatible systems designs. Identified low cost, high volume components for balance of plant systems. Demonstrated efficient SOFC output power conditioning. Demonstrated SOFC control strategies and tuning methods