@article {IOPORT.50183109,
    author       = {Guttman, Joshua D.},
    title        = {Cryptographic protocol composition via the authentication tests},
    year         = {2008},
    journal      = {IACR Cryptology ePrint Archive},
    volume       = {2008},
    pages        = {430},
    identifier   = {50183109},
}