A Formal Treatment of Non-repudiation Protocols Satoshi HADA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2004/02/01 Vol. E87-ANo. 2pp. 461-470 Type of Manuscript: PAPER Category: Information Security Keyword: non-repudiation, digital signatures, concurrent composition, universal composition,
A Note on Transformations of Interactive Proofs that Preserve the Prover's Complexity Satoshi HADA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2004/01/01 Vol. E87-ANo. 1pp. 2-9 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Fundamental Keyword: interactive proof systems, Arthur-Merlin games, zero-knowledge, decisional Diffie-Hellman problem,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2001/01/01 Vol. E84-ANo. 1pp. 295-302 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Keyword: access control policy, authorization, provision, policy management,
A New Approach to Constructing a Provably Secure Variant of Schnorr's Identification Scheme Satoshi HADAHatsukazu TANAKA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1995/09/25 Vol. E78-ANo. 9pp. 1154-1159 Type of Manuscript: Special Section PAPER (Special Section on Information Theory and Its Applications) Category: Keyword: interactive identification scheme, provable security, Schnorr's scheme, Okamoto's scheme,
