Computer-aided decision-making with trust relations and trust domains (cryptographic applications)*. - Kramer, Simon; Goré, Rajeev; Okamoto, Eiji (Journal of Logic & Computation, 2014)