2013年 Simplified Verifiable Re-encryption Mix-nets Information Security and Computer Fraud S.Tamura, S.Taniguchi 巻 1 号 1 開始ページ 1 終了ページ 7 エクスポート BibTeX RIS