scientific article
From MaRDI portal
Publication:2767013
zbMath0988.68562MaRDI QIDQ2767013
Michaël Rusinowitch, Laurent Vigneron, Florent Jacquemard
Publication date: 30 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items
Protocol insecurity with a finite number of sessions and composed keys is NP-complete., Alice and Bob: Reconciling Formal Models and Implementation, 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, On the semantics of Alice \& Bob specifications of security protocols, Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols, A formal semantics for protocol narrations, Multi-attacker protocol validation, Termination of narrowing via termination of rewriting, Distributed temporal logic for the analysis of security protocol models, Compiling and securing cryptographic protocols, Information based reasoning about security protocols, On the symbolic reduction of processes with cryptographic functions.
Uses Software
