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.
Document type :
Journal articles
Liste complète des métadonnées

https://hal.inria.fr/hal-01644835
Contributor : Tamara Rezk <>
Submitted on : Wednesday, November 22, 2017 - 4:01:11 PM
Last modification on : Wednesday, February 13, 2019 - 6:30:03 PM

File

DARTS-3-2-9.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Raimil Cruz, Tamara Rezk, Bernard Serpette, Éric Tanter. Type Abstraction for Relaxed Noninterference (Artifact) *. Dagstuhl Artifacts Series, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2017, 3 (2), 2 p. ⟨10.4230/DARTS.3.2.9⟩. ⟨hal-01644835⟩

Share

Metrics

Record views

370

Files downloads

61