scientific article; zbMATH DE number 4053510

MaRDI QIDQ3789477zbMATH OpenFDO

Authors Toru Fujiwara, Kenichi Taniguchi, Tadao Kasami

Publication date 1987

zbMATH Keywords

securitycryptographic protocol

Mathematics Subject Classification ID

Cryptography (94A60)

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

Cited in

(7)

• Deciding the security of protocols with commuting public key encryption
• Satisfiability of Dolev-Yao constraints
• Secrecy for security protocols
• Intractable problems in cryptography
• Combining Algorithms for Deciding Knowledge in Security Protocols
• CONCUR 2004 - Concurrency Theory
• Deciding cryptographic protocol adequacy with HOL: the implementation

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)