Type Abstraction for Relaxed Noninterference (Artifact) * - Archive ouverte HAL Access content directly
Journal Articles Dagstuhl Artifacts Series Year : 2017

Type Abstraction for Relaxed Noninterference (Artifact) *

(1, 2) , (3) , (3) , (2, 1)
1
2
3
Tamara Rezk
  • Function : Author
  • PersonId : 949476
Bernard P. Serpette
  • Function : Author
  • PersonId : 832431

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 Ko) 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⟩
231 View
62 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More