Sciweavers

    276 search results - page 29 / 56
    » Model Checking Groupware Protocols
    Sort
    View
    AMAST
    2000
    Springer
    79views Software Engineering» more  AMAST 2000»
    A New Logic for Electronic Commerce Protocols
    14 years 3 months ago
    A New Logic for Electronic Commerce Protocols
    Download  users.encs.concordia.ca
    The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
    Kamel Adi, Mourad Debbabi, Mohamed Mejri
    claim paper
    Read More »
    ENTCS
    2002
    139views more  ENTCS 2002»
    Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM
    13 years 10 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
    13 years 12 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 2 days 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 »
    IJNSEC
    2008
    190views more  IJNSEC 2008»
    Probabilistic Analysis and Verification of the ASW Protocol using PRISM
    13 years 10 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 »
    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-2024, USA.