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

Martin Abadi 1 Steve Kremer 2
2 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Type de document :
Direction d'ouvrage, Proceedings, Dossier
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〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01090879
Contributeur : Steve Kremer <>
Soumis le : jeudi 4 décembre 2014 - 12:13:03
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10

Identifiants

Citation

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〉

Partager

Métriques

Consultations de la notice

168