Sciweavers

    1679 search results - page 18 / 336
    » Security Properties and CSP
    Sort
    View
    132
    Voted
    ESSOS
    2010
    Springer
    160views Software Engineering» more  ESSOS 2010»
    Model-Driven Security Policy Deployment: Property Oriented Approach
    16 years 1 months ago
    Model-Driven Security Policy Deployment: Property Oriented Approach
    Download  deic.uab.es
    Stere Preda, Nora Cuppens-Boulahia, Fréd&ea...
    claim paper
    Read More »
    TARK
    2005
    Springer
    98views Automated Reasoning» more  TARK 2005»
    Deciding knowledge properties of security protocols
    15 years 10 months ago
    Deciding knowledge properties of security protocols
    Download  www.tark.org
    Ramaswamy Ramanujam, S. P. Suresh
    claim paper
    Read More »
    AAAI
    2008
    98views Intelligent Agents» more  AAAI 2008»
    From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic
    15 years 6 months ago
    From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic
    Download  www.aaai.org
    Joseph Y. Halpern
    claim paper
    Read More »
    CORR
    2007
    Springer
    56views Education» more  CORR 2007»
    Deciding security properties for cryptographic protocols. Application to key cycles
    15 years 4 months ago
    Deciding security properties for cryptographic protocols. Application to key cycles
    Download  www.loria.fr
    Hubert Comon-Lundh, Véronique Cortier, Euge...
    claim paper
    Read More »
    CL
    2004
    Springer
    80views Automated Reasoning» more  CL 2004»
    Verifying persistent security properties
    15 years 4 months ago
    Verifying persistent security properties
    Download  www.di.unipi.it
    Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sa...
    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.