Sciweavers

    12478 search results - page 106 / 2496
    » Secure Interaction Design
    Sort
    View
    CI
    2004
    95views more  CI 2004»
    Automated Design of Security Protocols
    15 years 6 months ago
    Automated Design of Security Protocols
    Download  www-users.cs.york.ac.uk
    Hao Chen, John A. Clark, Jeremy L. Jacob
    claim paper
    Read More »
    COMCOM
    1999
    63views more  COMCOM 1999»
    Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification
    15 years 6 months ago
    Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification
    Download  www.dmst.aueb.gr
    Stefanos Gritzalis, Diomidis Spinellis, Panagiotis...
    claim paper
    Read More »
    MONET
    2010
    85views more  MONET 2010»
    A Secure Mechanism Design-Based and Game Theoretical Model for MANETs
    15 years 4 months ago
    A Secure Mechanism Design-Based and Game Theoretical Model for MANETs
    Download  users.encs.concordia.ca
    Abderrezak Rachedi, Abderrahim Benslimane, Hadi Ot...
    claim paper
    Read More »
    TIFS
    2011
    252views Education» more  TIFS 2011»
    Secure Device Pairing Based on a Visual Channel: Design and Usability Study
    15 years 1 months ago
    Secure Device Pairing Based on a Visual Channel: Design and Usability Study
    Download  spies.poly.edu
    — “Pairing” is the establishment of authenticated key agreement between two devices over a wireless channel. Such devices are ad hoc in nature as they lack any common preshar...
    Nitesh Saxena, Jan-Erik Ekberg, Kari Kostiainen, N...
    claim paper
    Read More »
    IFIP
    2010
    Springer
    109views Programming Languages» more  IFIP 2010»
    AnBx - Security Protocols Design and Verification
    15 years 1 months ago
    AnBx - Security Protocols Design and Verification
    Download  www.dsi.unive.it
    Michele Bugliesi, Paolo Modesti
    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.