Verifiable Control Flow Policies for Java Bytecode

Type de document :
Communication dans un congrès
Gilles Barthe and Anupam Datta and Sandro Etalle. Formal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Sep 2011, Leuven, Belgium. Springer, 7140, pp.115-130, 2011, Lecture Notes in Computer Science. 〈10.1007/978-3-642-29420-4〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00877166
Contributeur : Isabelle Simplot-Ryl <>
Soumis le : dimanche 27 octobre 2013 - 09:28:51
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13

Lien texte intégral

Identifiants

Collections

Citation

Isabelle Simplot-Ryl, Arnaud Fontaine, Samuel Hym. Verifiable Control Flow Policies for Java Bytecode. Gilles Barthe and Anupam Datta and Sandro Etalle. Formal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Sep 2011, Leuven, Belgium. Springer, 7140, pp.115-130, 2011, Lecture Notes in Computer Science. 〈10.1007/978-3-642-29420-4〉. 〈hal-00877166〉

Partager

Métriques

Consultations de la notice

129