Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2008/01/01 Vol. E91-ANo. 1 ;
pp. 262-271 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Security Notions Keyword: identity-based encryption, IND-ID-CCA2, universal composition,
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. 2 ;
pp. 461-470 Type of Manuscript: PAPER Category: Information Security Keyword: non-repudiation, digital signatures, concurrent composition, universal composition,