Verification of authentication protocols based on the binding relation

DOI10.1007/3-540-36532-X_19MaRDI QIDQ4418585zbMATH OpenFDO

Authors Masami Hagiya, Ryo Takemura, Takamichi Saito, Koichi Takahashi

Publication date 11 August 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2609/26090299.htm

Mathematics Subject Classification ID

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

Recommendations

• An approach for formal verification of authentication protocols
• Verification and modelling of authentication protocols
• Rewriting-based verification of authentication protocols
• Knowledge structure approach to verification of authentication protocols
• scientific article; zbMATH DE number 1860614
• Type-Based Automated Verification of Authenticity in Cryptographic Protocols

Cited in

(2)

• A syntactic criterion for injectivity of authentication protocols
• Verification and modelling of authentication protocols

Describes a project that uses

Uses Software

• TAPS

This page was built for publication: Verification of authentication protocols based on the binding relation

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