Type Abstraction for Relaxed Noninterference (Artifact) * - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Dagstuhl Artifacts Series Année : 2017

Type Abstraction for Relaxed Noninterference (Artifact) *

Raimil Cruz
  • Fonction : Auteur
  • PersonId : 1023468
Tamara Rezk
  • Fonction : Auteur
  • PersonId : 949476
Bernard P. Serpette
  • Fonction : Auteur
  • PersonId : 832431
Éric Tanter

Résumé

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.
Fichier principal
Vignette du fichier
DARTS-3-2-9.pdf (343 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01644835 , version 1 (22-11-2017)

Identifiants

Citer

Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter. Type Abstraction for Relaxed Noninterference (Artifact) *. Dagstuhl Artifacts Series, 2017, 3 (2), 2 p. ⟨10.4230/DARTS.3.2.9⟩. ⟨hal-01644835⟩
234 Consultations
67 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More