scientific article; zbMATH DE number 1341618
From MaRDI portal
Publication:4263167
Cited in
(28)- A domain-specific language for cryptographic protocols based on streams
- Security protocols: from linear to classical logic by abstract interpretation
- Automating security analysis: symbolic equivalence of constraint systems
- Challenges in the Automated Verification of Security Protocols
- Finite reasons for safety. Parameterized verification by finite model finding
- Secrecy types for asymmetric communication.
- State space reduction in the Maude-NRL protocol analyzer
- Normalization of linear Horn clauses
- System description: SPASS-FD
- Extending \(H_1\)-clauses with disequalities
- Automated verification of equivalence properties of cryptographic protocols
- First-order logic theorem proving and model building via approximation and instantiation
- Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables
- Key Substitution in the Symbolic Analysis of Cryptographic Protocols
- Verification of cryptographic protocols: tagging enforces termination
- Deciding \(\mathcal H_1\) by resolution
- Paths, tree homomorphisms and disequalities for \(\mathcal H_1\)-clauses
- Deciding the Inductive Validity of ∀ ∃ * Queries
- Harald Ganzinger's legacy: contributions to logics and programming
- Automatic verification of security protocols in the symbolic model: the verifier ProVerif
- Crossing the syntactic barrier: hom-disequalities for \({\mathcal H}_1\)-clauses
- Verifying Cryptographic Protocols with Subterms Constraints
- SPASS-AR: a first-order theorem prover based on approximation-refinement into the monadic shallow linear fragment
- A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties
- On the relationships between models in protocol verification
- On the symbolic reduction of processes with cryptographic functions.
- From search to computation: redundancy criteria and simplification at work
- Superposition for Fixed Domains
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4263167)
