Sciweavers

    8644 search results - page 58 / 1729
    » On the Composition of Secure Systems
    Sort
    View
    ISPEC
    2009
    Springer
    107views Security Privacy» more  ISPEC 2009»
    An Empirical Investigation into the Security of Phone Features in SIP-Based VoIP Systems
    15 years 11 months ago
    An Empirical Investigation into the Security of Phone Features in SIP-Based VoIP Systems
    Download  cs.gmu.edu
    Ruishan Zhang, Xinyuan Wang, Xiaohui Yang, Ryan Fa...
    claim paper
    Read More »
    CSFW
    2003
    IEEE
    101views Security Privacy» more  CSFW 2003»
    A Derivation System for Security Protocols and its Logical Formalization
    15 years 9 months ago
    A Derivation System for Security Protocols and its Logical Formalization
    Download  www.andrew.cmu.edu
    Anupam Datta, Ante Derek, John C. Mitchell, Dusko ...
    claim paper
    Read More »
    ESORICS
    1992
    Springer
    90views Security Privacy» more  ESORICS 1992»
    Towards Security in an Open Systems Federation
    15 years 8 months ago
    Towards Security in an Open Systems Federation
    Download  groups.csail.mit.edu
    John A. Bull, Li Gong, Karen R. Sollins
    claim paper
    Read More »
    CCS
    2001
    ACM
    143views Security Privacy» more  CCS 2001»
    A Chinese wall security model for decentralized workflow systems
    15 years 8 months ago
    A Chinese wall security model for decentralized workflow systems
    Download  cimic.rutgers.edu
    Keywords
    Vijayalakshmi Atluri, Soon Ae Chun, Pietro Mazzole...
    claim paper
    Read More »
    LACL
    1998
    Springer
    106views Automated Reasoning» more  LACL 1998»
    Strict Compositionality and Literal Movement Grammars
    15 years 8 months ago
    Strict Compositionality and Literal Movement Grammars
    Download  www.linguistics.ucla.edu
    Abstract. The principle of compositionality, as standardly defined, regards grammars as compositional that are not compositional in an intuitive sense of the word. There is, for ex...
    Marcus Kracht
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.