Hiroaki OGURO

Analysis of an Oblivious Transfer Protocol by Using Symbolic Cryptographic Analysis
Hiroaki OGURO  Shigeki HAGIHARA  Naoki YONEZAKI 
Publication:   D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition)
Publication Date: 2009/05/01
Vol. J92-D  No. 5  pp. 596-607
Type of Manuscript: Special Section PAPER (Special Section on Formal Approach)
Category: 
Keyword: 
formal method,  formal system,  cryptographic protocol,  Oblivious Transfer, 
  Summary |  Full Text(in Japanese):PDF (549.1KB)