@misc{cryptoeprint:2008:132, author = {Juan A. Garay and Aggelos Kiayias and Hong-Sheng Zhou}, title = {Sound and Fine-grain Specification of Cryptographic Tasks}, howpublished = {Cryptology ePrint Archive, Report 2008/132}, year = {2008}, url = {http://eprint.iacr.org/2008/132}, }