@inproceedings{MS13, author = {Tim Muller and Patrick Schweitzer}, title = {A Formal Derivation of Composite Trust}, year = {2013}, pages = {132-148}, editor = {Joaqu\'{\i}n Garc\'{\i}a-Alfaro and Fr{\'e}d{\'e}ric Cuppens and Nora Cuppens-Boulahia and Ali Miri and Nadia Tawbi}, booktitle = {Foundations and Practice of Security - 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers}, publisher = {Springer}, series = {LNCS}, volume = {7743}, isbn = {978-3-642-37118-9}, bibsource = {DBLP, http://dblp.uni-trier.de} }