NRL
From MaRDI portal
Software:24089
No author found.
Related Items (28)
Model Checking Security Protocols ⋮ Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties ⋮ The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols ⋮ Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols ⋮ Complete symbolic reachability analysis using back-and-forth narrowing ⋮ A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties ⋮ Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols ⋮ Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types ⋮ Twenty years of rewriting logic ⋮ State space reduction in the Maude-NRL protocol analyzer ⋮ Bounding messages for free in security protocols -- extension to various security properties ⋮ Unnamed Item ⋮ Relating State-Based and Process-Based Concurrency through Linear Logic ⋮ Rule-based static analysis of network protocol implementations ⋮ Hierarchical combination of intruder theories ⋮ Abstraction and resolution modulo AC: How to verify Diffie--Hellman-like protocols automatically ⋮ Refinement-Preserving Plug-In Components ⋮ Distributed temporal logic for the analysis of security protocol models ⋮ Symbolic protocol analysis in the union of disjoint intruder theories: combining decision procedures ⋮ Web security: Authentication protocols and their analysis ⋮ Relating state-based and process-based concurrency through linear logic (full-version) ⋮ Attacking Fair-Exchange Protocols ⋮ Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif ⋮ A new logic for electronic commerce protocols ⋮ Protocol Composition Logic (PCL) ⋮ Temporal Logics of Knowledge and their Applications in Security ⋮ Finite-state analysis of two contract signing protocols ⋮ Narrowing and Rewriting Logic: from Foundations to Applications
This page was built for software: NRL
