Provably secure identity-based identification schemes and by G. Neven