Sciweavers

    3082 search results - page 11 / 617
    » Deviation Analysis: A New Use of Model Checking
    Sort
    View
    FM
    2003
    Springer
    115views Formal Methods» more  FM 2003»
    SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis
    15 years 10 months ago
    SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis
    Download  www.ai-lab.it
    Alessandro Armando, Luca Compagna, Pierre Ganty
    claim paper
    Read More »
    131
    Voted
    WECWIS
    2000
    IEEE
    113views ECommerce» more  WECWIS 2000»
    Failure Analysis of an E-Commerce Protocol Using Model Checking
    15 years 9 months ago
    Failure Analysis of an E-Commerce Protocol Using Model Checking
    Download  www.cs.colostate.edu
    Indrakshi Ray, Indrajit Ray
    claim paper
    Read More »
    224
    Voted
    FMSD
    2011
    236views Formal Methods» more  FMSD 2011»
    Automatic analysis of DMA races using model checking and k-induction
    14 years 8 months ago
    Automatic analysis of DMA races using model checking and k-induction
    Download  www.philipp.ruemmer.org
    Alastair F. Donaldson, Daniel Kroening, Philipp R&...
    claim paper
    Read More »
    CSFW
    1999
    IEEE
    172views Security Privacy» more  CSFW 1999»
    Athena: A New Efficient Automatic Checker for Security Protocol Analysis
    15 years 9 months ago
    Athena: A New Efficient Automatic Checker for Security Protocol Analysis
    Download  www.ece.cmu.edu
    We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
    Dawn Xiaodong Song
    claim paper
    Read More »
    PR
    2008
    145views more  PR 2008»
    Probabilistic suffix models for API sequence analysis of Windows XP applications
    15 years 4 months ago
    Probabilistic suffix models for API sequence analysis of Windows XP applications
    Download  www.cs.utk.edu
    Given the pervasive nature of malicious mobile code (viruses, worms, etc.), developing statistical/structural models of code execution is of considerable importance. We investigat...
    Geoffrey Mazeroff, Jens Gregor, Michael G. Thomaso...
    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.