■

Cryptology ePrint Archive 2002/022 - Abdalla, An, Bellare, and Namprempreの"From Identification to Signatures via the Fiat-Shamir Transform: Minimizing Assumptions for Security and Forward-Security"が更新されていたので見たら, 認証方式から構成した署名が安全というところの証明が変わっていた.
なんでもBellare and Rogawayのcode-based game-playing proofsを使うらしい. 後で見る.