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
  • IdRef : 136831605
Bernard P. Serpette
  • Function : Author
  • PersonId : 832431
Éric Tanter

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.
Fichier principal
Vignette du fichier
DARTS-3-2-9.pdf (343) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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⟩
243 View
85 Download

Altmetric

Share

More