Sciweavers

    297 search results - page 33 / 60
    » Model Checking Guarded Protocols
    Sort
    View
    80
    Voted
    ENTCS
    2002
    139views more  ENTCS 2002»
    Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM
    14 years 9 months ago
    Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM
    Download  www.prismmodelchecker.org
    We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
    Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman
    claim paper
    Read More »
    FORTE
    1997
    151views Formal Methods» more  FORTE 1997»
    On-Line Timed Protocol Trace Analysis Based on Uncertain State Descriptions
    14 years 11 months ago
    On-Line Timed Protocol Trace Analysis Based on Uncertain State Descriptions
    Download  user.cs.tu-berlin.de
    This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, inclu...
    Marek Musial
    claim paper
    Read More »
    FORTE
    2008
    213views Formal Methods» more  FORTE 2008»
    Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning
    14 years 11 months ago
    Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning
    Download  www.cse.ohio-state.edu
    Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...
    Guoqiang Shu, Yating Hsu, David Lee
    claim paper
    Read More »
    99
    Voted
    IJNSEC
    2008
    190views more  IJNSEC 2008»
    Probabilistic Analysis and Verification of the ASW Protocol using PRISM
    14 years 9 months ago
    Probabilistic Analysis and Verification of the ASW Protocol using PRISM
    Download  ijns.femto.com.tw
    The ASW protocol is one of the prominent optimistic fair exchange protocols that is used for contract signing between two participants, the originator and the responder, with the ...
    Salekul Islam, Mohammad Abu Zaid
    claim paper
    Read More »
    AAMAS
    2007
    Springer
    163views Intelligent Agents» more  AAMAS 2007»
    An algebra for commitment protocols
    14 years 9 months ago
    An algebra for commitment protocols
    Download  www.csc.ncsu.edu
    Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
    Ashok U. Mallya, Munindar P. Singh
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2025, USA.