A Provably Secure and Unlinkable Authentication System with Smart Cardsに関係する本がみつかりませんでした。
カーリルローカルでも探してみましょう。
