@inproceedings{FDCRTRTD, Author = {S. Kramer and R. Gor\'{e} and E. Okamoto}, Booktitle = {Proceedings of the ESSLLI-affiliated Workshop on Logics in Security}, Title = {Formal Definitions and Complexity Results for Trust Relations and Trust Domains}, Year = {2010}}