For example, means that Ui is involved in some login S containing session. Finally, Han et al.'s scheme CIDi. It is failed to ensure unlinkability and the adversary .