Publication:4536273
From MaRDI portal
zbMath1006.94534MaRDI QIDQ4536273
Publication date: 14 February 2003
signature schemes; cryptanalysis; public-key cryptography; security proofs; public-key identification; symmetric-key techniques; validating cryptographic algorithms
94A60: Cryptography
68Q60: Specification and verification (program logics, model checking, etc.)
94A62: Authentication, digital signatures and secret sharing
Related Items