Showing 1 - 7 results of 7 for search '"Protocol Verification"', query time: 1.87s Refine Results
  1. 1
    Temporal logic specification and verification of communication protocols
    by Jin, S.
    Published 1987
    Subjects: “...Network protocol verification...”
    Get full text
  2. 2
    VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS
    Subjects: “...protocol verification...”
    Get full text
    Article
  3. 3
    VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS
    Subjects: “...protocol verification...”
    Get full text
    Article
  4. 4
    Iotverif: Automatic Verification of SSL/TLS Certificate for IoT Applications
    Subjects: “...protocol verification...”
    Get full text
    Article
  5. 5
    Design of heterogeneous coherence hierarchies using manager-client pairing
    by Beu, Jesse Garrett
    Published 2013
    Subjects: “...Protocol verification...”
    Get full text
  6. 6
    Transducer-based Algorithmic Verification of Retransmission Protocols over Noisy Channels
    by Thakkar, Jay
    Published 2018
    Subjects: “...Protocol Verification...”
    Get full text
    Get full text
  7. 7
    Formal Verification of a LTE Security Protocol for Dual-Connectivity : An Evaluation of Automatic Model Checking Tools
    by Pfeffer, Katharina
    Published 2014
    Subjects: “...protocol verification...”
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search