ユーザブルセキュリティを実現する暗号プロトコルの安全性に関する調査研究