Specifying authentication using signal events in CSP

The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of security properties, foremost of which is authentication. The formal specification of authentication has long been a subject of examination. In this paper, we discuss the use of correspondence to formally specify authentication and focus on Schneider's use of signal events in the process algebra Communicating Sequential Processes (CSP) to specify authentication. The purpose of this effort is to strengthen this formalism further. We develop a formal structure for these events and use them to specify a general authentication property. We then develop specifications for recentness and injectivity as sub-properties, and use them to refine authentication further. Finally, we use signal events to specify a range of authentication definitions and protocol examples to clarify their use and make explicit related theoretical issues. our work is motivated by the desire to effectively analyse and express security properties in formal terms, so as to make them precise and clear. (C) 2008 Elsevier Ltd. All rights reserved

A systematic review of reviews identifying UK validated dietary assessment tools for inclusion on an interactive guided website for researchers: www.nutritools.org

Background: Health researchers may struggle to choose suitable validated dietary assessment tools (DATs) for their target population. The aim of this review was to identify and collate information on validated UK DATs and validation studies for inclusion on a website to support researchers to choose appropriate DATs. Design: A systematic review of reviews of DATs was undertaken. DATs validated in UK populations were extracted from the studies identified. A searchable website was designed to display these data. Additionally, mean differences and limits of agreement between test and comparison methods were summarized by a method, weighting by sample size. Results: Over 900 validation results covering 5 life stages, 18 nutrients, 6 dietary assessment methods, and 9 validation method types were extracted from 63 validated DATs which were identified from 68 reviews. These were incorporated into www.nutritools.org. Limits of agreement were determined for about half of validations. Thirty four DATs were FFQs. Only 17 DATs were validated against biomarkers, and only 19 DATs were validated in infant/children/adolescents. Conclusions: The interactive www.nutritools.org website holds extensive validation data identified from this review and can be used to guide researchers to critically compare and choose a suitable DAT for their research question, leading to improvement of nutritional epidemiology research

Epithelial IL-6 trans-signaling defines a new asthma phenotype with increased airway inflammation

Background: Although several studies link high levels of IL-6 and soluble IL-6 receptor (sIL-6R) to asthma severity and decreased lung function, the role of IL-6 trans-signaling (IL-6TS) in asthmatic patients is unclear. Objective: We sought to explore the association between epithelial IL-6TS pathway activation and molecular and clinical phenotypes in asthmatic patients. Methods: An IL-6TS gene signature obtained from air-liquid interface cultures of human bronchial epithelial cells stimulated with IL-6 and sIL-6R was used to stratify lung epithelial transcriptomic data (Unbiased Biomarkers in Prediction of Respiratory Disease Outcomes [U-BIOPRED] cohorts) by means of hierarchical clustering. IL-6TS-specific protein markers were used to stratify sputum biomarker data (Wessex cohort). Molecular phenotyping was based on transcriptional profiling of epithelial brushings, pathway analysis, and immunohistochemical analysis of bronchial biopsy specimens. Results: Activation of IL-6TS in air-liquid interface cultures reduced epithelial integrity and induced a specific gene signature enriched in genes associated with airway remodeling. The IL-6TS signature identified a subset of patients with IL-6TS-high asthma with increased epithelial expression of IL-6TS-inducible genes in the absence of systemic inflammation. The IL-6TS-high subset had an overrepresentation of frequent exacerbators, blood eosinophilia, and submucosal infiltration of T cells and macrophages. In bronchial brushings Toll-like receptor pathway genes were upregulated, whereas expression of cell junction genes was reduced. Sputum sIL-6R and IL-6 levels correlated with sputum markers of remodeling and innate immune activation, in particular YKL-40, matrix metalloproteinase 3, macrophage inflammatory protein 1 beta, IL-8, and IL-1 beta. Conclusions: Local lung epithelial IL-6TS activation in the absence of type 2 airway inflammation defines a novel subset of asthmatic patients and might drive airway inflammation and epithelial dysfunction in these patients.Peer reviewe

The relationship of natural killer cell counts, perforin mRNA and CD2 expression to post-exercise natural killer cell activity in humans

The aim of this study was to further investigate the mechanism of suppression of natural killer (NK) cell cytotoxic activity In peripheral blood following strenuous exercise. Blood was collected for analysis of NK cell concentration, cytotoxic activity, CD2 surface expression and perforin gene expression from runners (RUN, n = 6) and resting controls (CONTROL, n = 4) pre-exercise, 0, 1.5, 5, and 24 h following a 60-min treadmill run at 80% of VO2 peak. Natural killer cytotoxic activity, measured using a whole blood chromium release assay, fluctuated minimally in the CONTROL group and increased by 63% and decreased by 43% 0 and 1.5 h post-exercise, respectively, in the RUN group (group x time, P < 0.001). Lytic index (cytotoxic activity per cell) did not change. Perforin mRNA, measured using quantitative real-time polymerase chain reaction (ORT-PCR) decreased from pre- to post-exercise and remained decreased through 24 h, The decrease from pre- to 0 In post-exercise was seen predominately in the RUN group and was inversely correlated r = - 0.95) to pre-exercise perform mRNA. The NK cell surface expression of CD2 (lymphocyte function-associated antigen-2) was determined using fluorescent antibodies and flow cytometry, There was no change in the proportion of NK cells expressing CD2 or CD2 density, We conclude that (1) numerical redistribution accounted for most of the change in NK cytotoxic activity following a strenuous run, (2) decrease in perforin gene expression during the run was inversely related to pre-exercise levels but did not parallel changes in cytotoxic activity, and (3) CD2 surface expression was not affected by exercise