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 :
Article dans une revue
Dagstuhl Artifacts Series, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2017, 3 (2), 2 p. 〈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 : mercredi 13 février 2019 - 18:30:03

Fichier

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

Identifiants

Collections

Citation

Raimil Cruz, Tamara Rezk, Bernard Serpette, Éric Tanter. Type Abstraction for Relaxed Noninterference (Artifact) *. Dagstuhl Artifacts Series, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2017, 3 (2), 2 p. 〈10.4230/DARTS.3.2.9〉. 〈hal-01644835〉

Partager

Métriques

Consultations de la notice

367

Téléchargements de fichiers

60