scientific article; zbMATH DE number 1500551

zbMATH Open0989.94506MaRDI QIDQ4501570FDOQ4501570

Authors: Roberto M. Amadio, Sanjiva Prasad 

Publication date: 28 July 2002

Title of this publication is not available (Why is that?)

Recommendations

• Foundations of Security Analysis and Design II
• A calculus for cryptographic protocols: The spi calculus
• scientific article; zbMATH DE number 1759624

zbMATH Keywords

\(\pi\)-calculuscryptographic protocolsauthenticitycryptographic tablename-passing calculussymmetric shared keys

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Cited In (3)

• A method for symbolic analysis of security protocols
• On the symbolic reduction of processes with cryptographic functions.
• Foundations of Security Analysis and Design II

This page was built for publication:

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