IDベース暗号
全体がうまく動作するためには、当り前ではあるが以下を前提とする。 ∀ m ∈ M , I D ∈ { 0 , 1 } ∗ : D e c r y p t ( E x t r a c t ( P , K m , I D ) , P , E n c r y p t ( P , m , I D ) ) = m {\displaystyle \forall m\in {\mathcal {M}},ID\in \left\{0,1\right\}^{*}:Decrypt\left(Extract\left({\mathcal {P}},K_{m},ID\right),{\mathcal {P}},Encrypt\left({\mathcal {P}},m,ID\right)\right)=m} 。