Type Abstraction for Relaxed Noninterference (Artifact) *
Résumé
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.
Origine : Fichiers produits par l'(les) auteur(s)