2003年 公平な電子権利価値流通のための楽観的な交換プロトコル コンピュータセキュリティシンポジウム2003 (CSS2003) 寺田 雅之, 花舘 蔵之, 井口 誠 記述言語 会議種別 口頭発表(一般)