Foundations of Security Analysis and Design III

DOI10.1007/11554578zbMATH Open1168.94514OpenAlexW4232088898MaRDI QIDQ5897459FDOQ5897459

Authors: Riccardo Focardi 

Publication date: 1 November 2006

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

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

Recommendations

• Programming Languages and Systems
• A logic of authentication
• scientific article; zbMATH DE number 4197466
• scientific article; zbMATH DE number 1104389
• scientific article; zbMATH DE number 1149910

Mathematics Subject Classification ID

Authentication, digital signatures and secret sharing (94A62)

Cited In (3)

• Theoretical Computer Science
• Automated type-based analysis of injective agreement in the presence of compromised principals
• Programming Languages and Systems

This page was built for publication: Foundations of Security Analysis and Design III

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