A syntactic criterion for injectivity of authentication protocols

MaRDI QIDQ2848476zbMATH OpenFDO

Authors Sjouke Mauw, Erik de Vink, C. J. F. Cremers

Publication date 26 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105050504

Mathematics Subject Classification ID

Network protocols (68M12) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Injective synchronisation: An extension of the authentication hierarchy
• scientific article; zbMATH DE number 1962755
• Automated type-based analysis of injective agreement in the presence of compromised principals
• From secrecy to authenticity in security protocols
• A type and effect analysis of security protocols

Cited in

(2)

• Injectivity of composite functions
• Injective synchronisation: An extension of the authentication hierarchy

This page was built for publication: A syntactic criterion for injectivity of authentication protocols

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