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