1,713 research outputs found

    ConXsense - Automated Context Classification for Context-Aware Access Control

    Full text link
    We present ConXsense, the first framework for context-aware access control on mobile devices based on context classification. Previous context-aware access control systems often require users to laboriously specify detailed policies or they rely on pre-defined policies not adequately reflecting the true preferences of users. We present the design and implementation of a context-aware framework that uses a probabilistic approach to overcome these deficiencies. The framework utilizes context sensing and machine learning to automatically classify contexts according to their security and privacy-related properties. We apply the framework to two important smartphone-related use cases: protection against device misuse using a dynamic device lock and protection against sensory malware. We ground our analysis on a sociological survey examining the perceptions and concerns of users related to contextual smartphone security and analyze the effectiveness of our approach with real-world context data. We also demonstrate the integration of our framework with the FlaskDroid architecture for fine-grained access control enforcement on the Android platform.Comment: Recipient of the Best Paper Awar

    Distilling structure in Taverna scientific workflows: a refactoring approach

    Get PDF
    BACKGROUND: Scientific workflows management systems are increasingly used to specify and manage bioinformatics experiments. Their programming model appeals to bioinformaticians, who can use them to easily specify complex data processing pipelines. Such a model is underpinned by a graph structure, where nodes represent bioinformatics tasks and links represent the dataflow. The complexity of such graph structures is increasing over time, with possible impacts on scientific workflows reuse. In this work, we propose effective methods for workflow design, with a focus on the Taverna model. We argue that one of the contributing factors for the difficulties in reuse is the presence of "anti-patterns", a term broadly used in program design, to indicate the use of idiomatic forms that lead to over-complicated design. The main contribution of this work is a method for automatically detecting such anti-patterns, and replacing them with different patterns which result in a reduction in the workflow's overall structural complexity. Rewriting workflows in this way will be beneficial both in terms of user experience (easier design and maintenance), and in terms of operational efficiency (easier to manage, and sometimes to exploit the latent parallelism amongst the tasks). RESULTS: We have conducted a thorough study of the workflows structures available in Taverna, with the aim of finding out workflow fragments whose structure could be made simpler without altering the workflow semantics. We provide four contributions. Firstly, we identify a set of anti-patterns that contribute to the structural workflow complexity. Secondly, we design a series of refactoring transformations to replace each anti-pattern by a new semantically-equivalent pattern with less redundancy and simplified structure. Thirdly, we introduce a distilling algorithm that takes in a workflow and produces a distilled semantically-equivalent workflow. Lastly, we provide an implementation of our refactoring approach that we evaluate on both the public Taverna workflows and on a private collection of workflows from the BioVel project. CONCLUSION: We have designed and implemented an approach to improving workflow structure by way of rewriting preserving workflow semantics. Future work includes considering our refactoring approach during the phase of workflow design and proposing guidelines for designing distilled workflows

    Lipid and metabolite profiles of human brain tumors by desorption electrospray ionization-MS

    Get PDF
    Examination of tissue sections using desorption electrospray ionization (DESI)-MS revealed phospholipid-derived signals that differ between gray matter, white matter, gliomas, meningiomas, and pituitary tumors, allowing their ready discrimination by multivariate statistics. A set of lower mass signals, some corresponding to oncometabolites, including 2-hydroxyglutaric acid and N-acetyl-aspartic acid, was also observed in the DESI mass spectra, and these data further assisted in discrimination between brain parenchyma and gliomas. The combined information from the lipid and metabolite MS profiles recorded by DESI-MS and explored using multivariate statistics allowed successful differentiation of gray matter (n = 223), white matter (n = 66), gliomas (n = 158), meningiomas (n = 111), and pituitary tumors (n = 154) from 58 patients. A linear discriminant model used to distinguish brain parenchyma and gliomas yielded an overall sensitivity of 97.4% and a specificity of 98.5%. Furthermore, a discriminant model was created for tumor types (i.e., glioma, meningioma, and pituitary), which were discriminated with an overall sensitivity of 99.4% and a specificity of 99.7%. Unsupervised multivariate statistics were used to explore the chemical differences between anatomical regions of brain parenchyma and secondary infiltration. Infiltration of gliomas into normal tissue can be detected by DESI-MS. One hurdle to implementation of DESI-MS intraoperatively is the need for tissue freezing and sectioning, which we address by analyzing smeared biopsy tissue. Tissue smears are shown to give the same chemical information as tissue sections, eliminating the need for sectioning before MS analysis. These results lay the foundation for implementation of intraoperative DESI-MS evaluation of tissue smears for rapid diagnosis

    Intraoperative assessment of tumor margins during glioma resection by desorption electrospray ionization-mass spectrometry

    Get PDF
    Gliomas infiltrate into surrounding healthy brain tissue. Microsurgical resection aims for maximal tumor resection while minimizing morbidity. Surgical margins are defined based on the surgeon’s experience, visual observation, and neuronavigation. Surgical margin assessment is rarely undertaken intraoperatively due to time constraints and unreliability of such evaluation. Routine, pathologic intraoperative examination provides no molecular information. Molecular measurements using mass spectrometry can be made rapidly on tissue during surgery to identify tissue types, estimate tumor infiltration, and recognize the presence of prognostic mutations by monitoring oncometabolites and phospholipids. This intraoperative study demonstrates the power of mass spectrometry in assessing diagnostic and prognostic information on discrete surgeon-defined points along the resection margins to improve tumor resection, even in regions without MRI contrast enhancement., Intraoperative desorption electrospray ionization-mass spectrometry (DESI-MS) is used to characterize tissue smears by comparison with a library of DESI mass spectra of pathologically determined tissue types. Measurements are performed in the operating room within 3 min. These mass spectra provide direct information on tumor infiltration into white or gray brain matter based on N-acetylaspartate (NAA) and on membrane-derived complex lipids. The mass spectra also indicate the isocitrate dehydrogenase mutation status of the tumor via detection of 2-hydroxyglutarate, currently assessed postoperatively on biopsied tissue using immunohistochemistry. Intraoperative DESI-MS measurements made at surgeon-defined positions enable assessment of relevant disease state of tissue within the tumor mass and examination of the resection cavity walls for residual tumor. Results for 73 biopsies from 10 surgical resection cases show that DESI-MS allows detection of glioma and estimation of high tumor cell percentage (TCP) at surgical margins with 93% sensitivity and 83% specificity. TCP measurements from NAA are corroborated by indirect measurements based on lipid profiles. Notably, high percentages (>50%) of unresected tumor were found in one-half of the margin biopsy smears, even in cases where postoperative MRI suggested gross total tumor resection. Unresected tumor causes recurrence and malignant progression, as observed within a year in one case examined in this study. These results corroborate the utility of DESI-MS in assessing surgical margins for maximal safe tumor resection. Intraoperative DESI-MS analysis of tissue smears, ex vivo, can be inserted into the current surgical workflow with no alterations. The data underscore the complexity of glioma infiltration

    The multicovering radius problem for some types of discrete structures

    Full text link
    The covering radius problem is a question in coding theory concerned with finding the minimum radius rr such that, given a code that is a subset of an underlying metric space, balls of radius rr over its code words cover the entire metric space. Klapper introduced a code parameter, called the multicovering radius, which is a generalization of the covering radius. In this paper, we introduce an analogue of the multicovering radius for permutation codes (cf. Keevash and Ku, 2006) and for codes of perfect matchings (cf. Aw and Ku, 2012). We apply probabilistic tools to give some lower bounds on the multicovering radii of these codes. In the process of obtaining these results, we also correct an error in the proof of the lower bound of the covering radius that appeared in Keevash and Ku (2006). We conclude with a discussion of the multicovering radius problem in an even more general context, which offers room for further research.Comment: To appear in Designs, Codes and Cryptography (2012

    Analysis of human gliomas by swab touch spray-mass spectrometry: applications to intraoperative assessment of surgical margins and presence of oncometabolites

    Get PDF
    Touch spray mass spectrometry using medical swabs is an ambient ionization technique (ionization of unprocessed sample in the open air) that has potential intraoperative application in quickly identifying the disease state of tissue and in better characterizing the resection margin. To explore this potential, we studied 29 human brain tumor specimens and obtained evidence that this technique can provide diagnostic molecular information that is relevant to brain cancer. Touch spray using medical swabs involves the physical sampling of tissue using a medical swab on a spatial scale of a few mm2 with subsequent ionization occurring directly from the swab tip upon addition of solvent and application of a high voltage. Using a tertiary mixture of acetonitrile, N,N-dimethylformamide, and ethanol, membrane-derived phospholipids and oncometabolites are extracted from the tissue, incorporated into the sprayed microdroplets, vacuumed into the mass spectrometer, and characterized in the resulting mass spectra. The tumor cell load was assessed from the complex phospholipid pattern in the mass spectra and also separately by measurement of N-acetylaspartate. Mutation status of the isocitrate dehydrogenase gene was determined via detection of the oncometabolite 2-hydroxyglutarate. The lack of sample pretreatment makes touch spray mass spectrometry using medical swabs a feasible intraoperative strategy for rapid surgical assessment

    Sensitivity to grid resolution in the ability of a chemical transport model to simulate observed oxidant chemistry under high-isoprene conditions

    Get PDF
    Formation of ozone and organic aerosol in continental atmospheres depends on whether isoprene emitted by vegetation is oxidized by the high-NOx pathway (where peroxy radicals react with NO) or by low-NOx pathways (where peroxy radicals react by alternate channels, mostly with HO2). We used mixed layer observations from the SEAC4RS aircraft campaign over the Southeast US to test the ability of the GEOS-Chem chemical transport model at different grid resolutions (0.25°  ×  0.3125°, 2°  ×  2.5°, 4°  ×  5°) to simulate this chemistry under high-isoprene, variable-NOx conditions. Observations of isoprene and NOx over the Southeast US show a negative correlation, reflecting the spatial segregation of emissions; this negative correlation is captured in the model at 0.25°  ×  0.3125° resolution but not at coarser resolutions. As a result, less isoprene oxidation takes place by the high-NOx pathway in the model at 0.25°  ×  0.3125° resolution (54 %) than at coarser resolution (59 %). The cumulative probability distribution functions (CDFs) of NOx, isoprene, and ozone concentrations show little difference across model resolutions and good agreement with observations, while formaldehyde is overestimated at coarse resolution because excessive isoprene oxidation takes place by the high-NOx pathway with high formaldehyde yield. The good agreement of simulated and observed concentration variances implies that smaller-scale non-linearities (urban and power plant plumes) are not important on the regional scale. Correlations of simulated vs. observed concentrations do not improve with grid resolution because finer modes of variability are intrinsically more difficult to capture. Higher model resolution leads to decreased conversion of NOx to organic nitrates and increased conversion to nitric acid, with total reactive nitrogen oxides (NOy) changing little across model resolutions. Model concentrations in the lower free troposphere are also insensitive to grid resolution. The overall low sensitivity of modeled concentrations to grid resolution implies that coarse resolution is adequate when modeling continental boundary layer chemistry for global applications
    • …
    corecore