Towards Static Flow-Based Declassification for Legacy and Untrusted Programs

IEEE Symposium on Security and Privacy, pp.93-108, (2010)

Cited by: 17|Views9
EI

Abstract:

Simple non-interference is too restrictive for specifying and enforcing information flow policies in most programs. Exceptions to non-interference are provided using declassification policies. Several approaches for enforcing declassification have been proposed in the literature. In most of these approaches, the declassification policies ...More

Code:

Data:

ZH
Get fulltext within 24h
Bibtex
Your rating :
0

 

Tags
Comments