Type Abstraction for Relaxed Noninterference (Artifact) *

Abstract : This artifact is a web interpreter for the ObSec language defined in the companion paper. ObSec is a simple object-oriented language that supports type-based declassification. Type-base declassifica-tion exploits the familiar notion of type abstraction to support expressive declassification policies in a simple and expressive manner.
Type de document :
Communication dans un congrès
ECOOP 2017: The 31st European Conference on Object-Oriented Programming, Jun 2017, Barcelona, Spain. 74, pp.1 - 7, 2017, 〈10.4230/DARTS.3.2.9〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01644835
Contributeur : Tamara Rezk <>
Soumis le : mercredi 22 novembre 2017 - 16:01:11
Dernière modification le : vendredi 9 février 2018 - 14:07:12

Fichier

DARTS-3-2-9.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Tamara Rezk, Raimil Cruz, Bernard Serpette, Éric Tanter. Type Abstraction for Relaxed Noninterference (Artifact) *. ECOOP 2017: The 31st European Conference on Object-Oriented Programming, Jun 2017, Barcelona, Spain. 74, pp.1 - 7, 2017, 〈10.4230/DARTS.3.2.9〉. 〈hal-01644835〉

Partager

Métriques

Consultations de la notice

307

Téléchargements de fichiers

30