Martin Abadi, Steve Kremer. 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 and Steve Kremer.
3rd International Conference on Principles of Security and Trust (POST'14), France. 8414, Springer, 2014, Lecture Notes in Computer Science, 978-3-642-54791-1.
⟨10.1007/978-3-642-54792-8⟩.
⟨hal-01090879⟩