swMATH12158MaRDI QIDQ24089FDOQ24089
Author name not available (Why is that?)
Official website: http://www.sciencedirect.com/science/article/pii/074310669500095X
Cited In (50)
- Abstraction and resolution modulo AC: How to verify Diffie--Hellman-like protocols automatically
- Twenty years of rewriting logic
- Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
- Automatic verification of security protocols in the symbolic model: the verifier ProVerif
- Distributed temporal logic for the analysis of security protocol models
- Refinement-preserving plug-in components
- Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
- Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types
- Rule-based static analysis of network protocol implementations
- Narrowing and rewriting logic: from foundations to applications
- Hierarchical combination of intruder theories
- MWB
- Casper
- ProVerif
- Timbuk
- 2OBJ
- Relating state-based and process-based concurrency through linear logic (full-version)
- csp2B
- PAGODA
- Pict
- OFMC
- SATMC
- scyther
- K-Maude
- MTT
- CARIBOO
- TeMP
- Maude-NPA
- vlogsl
- MMC
- A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties
- SymPLFIED
- Plutus
- KOOL
- Finite-state analysis of two contract signing protocols
- Bounding messages for free in security protocols -- extension to various security properties
- State space reduction in the Maude-NRL protocol analyzer
- Interrogator
- Protocol composition logic (PCL)
- Model Checking Security Protocols
- Attacking fair-exchange protocols: parallel models vs. trace models
- A new logic for electronic commerce protocols
- The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
- Web security: Authentication protocols and their analysis
- Complete symbolic reachability analysis using back-and-forth narrowing
- Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
- Symbolic protocol analysis in the union of disjoint intruder theories: combining decision procedures
- Relating state-based and process-based concurrency through linear logic
- Temporal logics of knowledge and their applications in security
- Title not available (Why is that?)
This page was built for software: NRL
