Sciweavers

    349 search results - page 4 / 70
    » Compositional Security for Task-PIOAs
    Sort
    View
    CSFW
    2012
    IEEE
    224views Security Privacy» more  CSFW 2012»
    Verifying Privacy-Type Properties in a Modular Way
    13 years 8 months ago
    Verifying Privacy-Type Properties in a Modular Way
    Download  www.lsv.ens-cachan.fr
    —Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlinkabili...
    Myrto Arapinis, Vincent Cheval, Stéphanie D...
    claim paper
    Read More »
    EUROCRYPT
    2011
    Springer
    243views Cryptology» more  EUROCRYPT 2011»
    Concurrent Composition in the Bounded Quantum Storage Model
    14 years 9 months ago
    Concurrent Composition in the Bounded Quantum Storage Model
    Download  eprint.iacr.org
    We define the BQS-UC model, a variant of the UC model, that deals with protocols in the bounded quantum storage model. We present a statistically secure commitment protocol in th...
    Dominique Unruh
    claim paper
    Read More »
    CSFW
    2008
    IEEE
    118views Security Privacy» more  CSFW 2008»
    Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis
    16 years 24 days ago
    Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis
    Download  pubs.doc.ic.ac.uk
    Glenn Bruns, Michael Huth
    claim paper
    Read More »
    CCS
    2003
    ACM
    104views Security Privacy» more  CCS 2003»
    A compositional framework for access control policies enforcement
    15 years 11 months ago
    A compositional framework for access control policies enforcement
    Download  www.cse.dmu.ac.uk
    François Siewe, Antonio Cau, Hussein Zedan
    claim paper
    Read More »
    OOPSLA
    2000
    Springer
    95views Security Privacy» more  OOPSLA 2000»
    Exclusion for composite objects
    15 years 10 months ago
    Exclusion for composite objects
    Download  www.cs.mun.ca
    James Noble, David Holmes, John Potter
    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.