A Logical Characterisation of Static Equivalence

DOI10.1016/j.entcs.2007.02.032zbMath1316.68096OpenAlexW2072150543MaRDI QIDQ5262936

Michael D. Pedersen, Hans Hüttel

Publication date: 10 July 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.032

zbMATH Keywords

frameslogiccryptographic protocolsstatic equivalenceapplied pi-calculus

Mathematics Subject Classification ID

Cryptography (94A60) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Unnamed Item ⋮ A Spatial Equational Logic for the Applied π-Calculus

Uses Software

• OpenSSL

Cites Work

• Unnamed Item
• Modal logics for mobile processes
• A calculus for cryptographic protocols: The spi calculus
• Proof Techniques for Cryptographic Processes
• Modal Logics for Cryptographic Processes
• Mobile values, new names, and secure communication
• Automata, Languages and Programming

This page was built for publication: A Logical Characterisation of Static Equivalence