@phdthesis{muller13,
  title         = {{A Formal Analysis of Trust Operations: Trust Aggregation, Trust Chaining and Logical Trust Operations}},
  author        = {{Tim Muller}},
  school        = {{University of Luxembourg}},
  year          = {2013}
}