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,