Book Principles Of Security And Trust: Second International Conference, Post 2013, Held As Part Of The European Joint Conferences On Theory And Practice Of Software, Etaps 2013, Rome, Italy, March 16 24, 2013. Proceedings 2013