Provably Secure Key-Updating Schemes in Identity-Based Systems. - Shinji Shinozaki; Atsushi Fujioka; Shigeo Tsujii; Toshiya Itoh (J. Circuits Syst. Comput., 1991)