Cryptology ePrint Archive: BibTeX Citation of Report 2006/486

@misc{cryptoeprint:2006:486,
    author = {Arnab Roy and Anupam Datta and Ante Derek and John C. Mitchell},
    title = {Inductive Trace Properties for Computational Security},
    howpublished = {Cryptology ePrint Archive, Report 2006/486},
    year = {2006},
    note = {\url{http://eprint.iacr.org/}},
}

You will need the url.sty package (comes with most LaTeX installations) for the last line. Otherwise, remove the \url command.