scientific article; zbMATH DE number 4053510

zbMATH Open0645.94008MaRDI QIDQ3789477FDOQ3789477

Authors: Toru Fujiwara, Kenichi Taniguchi, Tadao Kasami 

Publication date: 1987

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

Recommendations

• scientific article; zbMATH DE number 3965967
• scientific article; zbMATH DE number 1759624
• scientific article; zbMATH DE number 1927583
• CONCUR 2004 - Concurrency Theory
• Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions

zbMATH Keywords

securitycryptographic protocol

Mathematics Subject Classification ID

Cryptography (94A60)

Cited In (7)

• Intractable problems in cryptography
• Secrecy for security protocols
• Deciding cryptographic protocol adequacy with HOL: the implementation
• Satisfiability of Dolev-Yao constraints
• CONCUR 2004 - Concurrency Theory
• Deciding the security of protocols with commuting public key encryption
• Combining Algorithms for Deciding Knowledge in Security 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 Q3789477)