Type Abstraction for Relaxed Noninterference (Artifact) * - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Dagstuhl Artifacts Series Year : 2017

Type Abstraction for Relaxed Noninterference (Artifact) *

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


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
Origin : Files produced by the author(s)

Dates and versions

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



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 View
63 Download



Gmail Facebook X LinkedIn More