scientific article; zbMATH DE number 1962755

zbMATH Open1033.94558MaRDI QIDQ4418585

Takamichi Saito, Ryo Takemura, Masami Hagiya, Koichi Takahashi

Publication date: 11 August 2003

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

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Related Items (1)

Verification and modelling of authentication protocols

Uses Software

• Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Knowledge structure approach to verification of authentication protocols 👍 👎
• An approach for formal verification of authentication protocols 👍 👎
• Rewriting-based verification of authentication protocols 👍 👎
• Type-Based Automated Verification of Authenticity in Cryptographic Protocols 👍 👎
• Verification and modelling of authentication protocols 👍 👎

This page was built for publication:

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