K. Bentahr, P. Farshim, J. Malone-Lee, N.P. Smart. “Generic Constructions fo Identity-Based and Certificateless KEMs” (Cryptology ePrint Archive: Report 2005/058) に載っているという話なので読んだ. 7章でOW-ID-CPA IBEとROを用いたIBKEMの構成…

IND-ID-CPAなIBEも出来たぽいヽ( ´ー｀)ノ 仮定が強いが, そこは勘弁.

Formal Methodってどんなんだろうね, と思ってDolev-Yaoを眺めてみた. 完全に安全な暗号系を最初に仮定するところが気になるが, まぁ, そういうものが存在するとして, 安全なプロトコルは可能か? という話らしい. Man-in-the-Middleを如何にして防ぐかという…