第三者による安全性検証が容易な暗号技術の包括的設計手法に関する研究