@misc{cryptoeprint:2006:435,
    author = {Shaddin F. Doghmi and Joshua D. Guttman and F. Javier Thayer},
    title = {Searching for Shapes in Cryptographic Protocols (extended version)},
    howpublished = {Cryptology ePrint Archive, Report 2006/435},
    year = {2006},
    url = {http://eprint.iacr.org/2006/435},
}