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
Proceedings of the 31st European Conference on Object-Oriented Programming LIPIcs Related Conference European Conference on Object-Oriented Programming, 2017, 74, pp.1 - 7
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 : jeudi 11 janvier 2018 - 16:35:50

Fichier

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

Identifiants

  • HAL Id : hal-01644835, version 1

Collections

Citation

Tamara Rezk, Raimil Cruz, Bernard Serpette, Éric Tanter. Type Abstraction for Relaxed Noninterference (Artifact) *. Proceedings of the 31st European Conference on Object-Oriented Programming LIPIcs Related Conference European Conference on Object-Oriented Programming, 2017, 74, pp.1 - 7. 〈hal-01644835〉

Partager

Métriques

Consultations de la notice

157

Téléchargements de fichiers

11