@inproceedings{TM10, author = {T. Muller}, title = {Semantics of Trust}, booktitle = {Proceedings of the 7th international Workshop on Formal Aspects in Security and Trust (FAST 2010)}, publisher = {Springer-Verlag}, series = {LNCS}, year = {2011}, editor = {Pierpaolo Degano and Sandro Etalle and Joshua Guttman}, volume = {6561}, pages = {141--156} }