Foundations of Security Analysis and Design III

DOI10.1007/11554578MaRDI QIDQ5897459zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Authentication, digital signatures and secret sharing (94A62)

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

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)