scientific article; zbMATH DE number 5245255

zbMath1137.68323MaRDI QIDQ5447364

Karthikeyan Bhargavan, Andrew D. Gordon, Stephen Tse, Cédric Fournet

Publication date: 6 March 2008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

process calculiProVerif

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Network protocols (68M12)

Related Items (6)

Alice and Bob: Reconciling Formal Models and Implementation ⋮ Formally sound implementations of security protocols with JavaSPI ⋮ Rule-based static analysis of network protocol implementations ⋮ Safe abstractions of data encodings in formal security protocol models ⋮ Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif ⋮ A Calculus of Global Interaction based on Session Types

Uses Software

• TulaFale
• AGVI
• ProVerif
• Spi2Java

This page was built for publication: