scientific article; zbMATH DE number 1903362
From MaRDI portal
Publication:4804905
zbMath1010.68508MaRDI QIDQ4804905
Yannick Chevalier, Laurent Vigneron
Publication date: 1 May 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2404/24040324.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (6)
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 relationships between models in protocol verification ⋮ Distributed temporal logic for the analysis of security protocol models ⋮ An NP decision procedure for protocol insecurity with XOR ⋮ Simulation relations for alternating Büchi automata
Uses Software
This page was built for publication:
