Computer-Aided Decision-Making for Formal Relations and Domains of Trust, Distrust, and Mistrust with Cryptographic Applications.

Simon Kramer 0001 Rajeev Goré Eiji Okamoto Computer-Aided Decision-Making for Formal Relations and Domains of Trust, Distrust, and Mistrust with Cryptographic Applications. 235 2011 2011 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2011/235 db/journals/iacr/iacr2011.html#KramerGO11