Principles of security and trust : Third International Conference, POST 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, proceedings / Martín Abadi, Steve Kremer (Eds.) / Berlin : Springer , 2014