Confidentiality and Integrity with Untrusted Hosts: Technical Report

Abstract

Several security-typed languages have recently been proposed to enforce security properties such as confidentiality or integrity by type checking. We propose a new security-typed language, Spl@, that addresses two important limitations of previous approaches. First, existing languages assume that the underlying execution platform is trusted; this assumption… (More)

Topics

4 Figures and Tables

Slides referencing similar topics