Primitives for authentication in process algebras.

DOI10.1016/S0304-3975(01)00136-0MaRDI QIDQ1603653zbMATH OpenWikidataFDO

Authors Riccardo Focardi, Chiara Bodei, Pierpaolo Degano, Corrado Priami

Publication date 15 July 2002

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

SecurityAuthenticationSecrecyOperational semanticsDistributed process algebrasProved transition systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computer system organization (68M99)

Recommendations

• scientific article; zbMATH DE number 1962756
• A calculus for cryptographic protocols: The spi calculus
• The Applied Pi Calculus
• Authentication primitives and their compilation
• Reasoning about cryptographic protocols in the spi calculus

Cites work

• scientific article; zbMATH DE number 1670837 (Why is no real title available?)
• scientific article; zbMATH DE number 3967898 (Why is no real title available?)
• scientific article; zbMATH DE number 1739897 (Why is no real title available?)
• scientific article; zbMATH DE number 1950568 (Why is no real title available?)
• scientific article; zbMATH DE number 1487487 (Why is no real title available?)
• scientific article; zbMATH DE number 1531624 (Why is no real title available?)
• scientific article; zbMATH DE number 854547 (Why is no real title available?)
• scientific article; zbMATH DE number 1435985 (Why is no real title available?)
• A calculus for cryptographic protocols: The spi calculus
• A calculus of mobile processes. II
• Causality for debugging mobile agents
• From CML to its process algebra
• Names of the \(\pi\)-calculus agents handled locally
• Non-interleaving semantics for mobile processes
• Secure implementation of channel abstractions
• Three systems for cryptographic protocol analysis

Cited in

(10)

• scientific article; zbMATH DE number 1962756 (Why is no real title available?)
• scientific article; zbMATH DE number 1696894 (Why is no real title available?)
• Pattern-matching spi-calculus
• Pierpaolo Degano
• Authentication primitives and their compilation
• Foundations of Security Analysis and Design II
• MODELLING AND ANALYSIS OF PKI-BASED SYSTEMS USING PROCESS CALCULI
• A comparison of three authentication properties.
• \textit{D\_PSNI}: delimited persistent stochastic non-interference
• Private authentication

Describes a project that uses

Uses Software

• Pict
• Esterel

This page was built for publication: Primitives for authentication in process algebras.

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