@proceedings{MJ14, editor = {Sjouke Mauw and Christian Damsgaard Jensen}, title = {Proceedings of the 10th International Workshop on Security and Trust Management (STM 2014), Wroclaw, Poland, September 10-11, 2014}, booktitle = {STM}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {8743}, year = {2014} }