Foundations of Software Science and Computation Structures

DOI10.1007/11690634zbMATH Open1180.94066OpenAlexW2504714231MaRDI QIDQ5899103

Pierpaolo Degano, Roberto Zunino

Publication date: 2 May 2007

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

Full work available at URL: https://doi.org/10.1007/11690634

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Protocol analysis with time and space ⋮ Symbolic protocol analysis for monoidal equational theories

Uses Software

• Timbuk

Recommendations

• Title not available (Why is that?) 👍 👎
• Protocol analysis with time 👍 👎
• Protocol analysis with time and space 👍 👎
• Time-Dependent Cryptographic Protocol Logic and Its Formal Semantics 👍 👎
• Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps 👍 👎
• CONCUR 2004 - Concurrency Theory 👍 👎

This page was built for publication: Foundations of Software Science and Computation Structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5899103)