DARTS.3.2.9.pdf
- Filesize: 342 kB
- 2 pages
Document
Type Abstraction for Relaxed Noninterference (Artifact)
Authors
-
Part of:
Issue:
Special Issue of the 31st European Conference on Object-Oriented Programming (ECOOP 2017)
Volume: DARTS, Volume 3 (ECOOP 2017)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 3.0 Germany license
- Publication Date: 2017-06-20
Cite As Get BibTex
Raimil Cruz, Tamara Rezk, Bernard Serpette, and Éric Tanter. Type Abstraction for Relaxed Noninterference (Artifact). In Special Issue of the 31st European Conference on Object-Oriented Programming (ECOOP 2017). Dagstuhl Artifacts Series (DARTS), Volume 3, Issue 2, pp. 9:1-9:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
https://doi.org/10.4230/DARTS.3.2.9
Artifact
DARTS-3-2-9-artifact-6088db75bcf48d9ca75af124b781335e.zip
(Filesize: 2.02 GB)
MD5 Sum:
6088db75bcf48d9ca75af124b781335e
(Get MD5 Sum)
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 declassification exploits the familiar notion of type abstraction to support expressive declassification policies in a simple and expressive manner.
Subject Classification
Keywords
- type abstraction
- relaxed noninterference
- information flow control
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads