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