Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps

DOI10.1007/978-3-642-02384-2_15MaRDI QIDQ3637143zbMATH OpenOpenAlexFDO

Authors Manuel Barbosa, Pooya Farshim

Publication date 7 July 2009

Published in Progress in Cryptology – AFRICACRYPT 2009 (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/1822/19433

zbMATH Keywords

entity authenticationkey agreementtimestamp

Mathematics Subject Classification ID

Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Modelling and checking timed authentication of security protocols
• Is Your Security Protocol on Time ?
• scientific article; zbMATH DE number 1775427
• scientific article; zbMATH DE number 4195145
• Protocol analysis with time

Cites work

• Authenticated key exchange secure against dictionary attacks
• Automated Security Proofs with Sequences of Games
• scientific article; zbMATH DE number 1583804 (Why is no real title available?)
• scientific article; zbMATH DE number 1722690 (Why is no real title available?)
• scientific article; zbMATH DE number 1263181 (Why is no real title available?)
• scientific article; zbMATH DE number 1024060 (Why is no real title available?)
• scientific article; zbMATH DE number 1775427 (Why is no real title available?)
• scientific article; zbMATH DE number 954401 (Why is no real title available?)
• scientific article; zbMATH DE number 2086716 (Why is no real title available?)
• Unifying simulatability definitions in cryptographic systems under different timing assumptions (extended abstract)

Cited in

(4)

• Secure communication channel establishment: TLS 1.3 (over TCP Fast Open) versus QUIC
• Provably repairing the ISO/IEC 9798 standard for entity authentication
• Comments on WLT attack on an enhanced timestamp-based password authentication scheme
• Foundations of Software Science and Computation Structures

This page was built for publication: Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps

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