リング署名の計算論的に健全な形式化 Computationally Sound Formalization of Ring Signature Schemes 川本 裕輔