@misc{cryptoeprint:2011:235,
    author = {Simon Kramer and Rajeev Goré and Eiji Okamoto},
    title = {Computer-Aided Decision-Making for Formal Relations and Domains of Trust, Distrust, and Mistrust with Cryptographic Applications},
    howpublished = {Cryptology ePrint Archive, Report 2011/235},
    year = {2011},
    url = {http://eprint.iacr.org/2011/235},
}