58 search results - page 4 / 12 » Language-based security on Android |
DAGSTUHL
2001
14 years 11 months ago
2001
Abstract. Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access ...
ESOP
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. While a rigorous information flow analysis is a key step in obtaining meaningful end-to-end confidentiality guarantees, one must also permit possibilities for declassific...
MFCS
1999
Springer
15 years 1 months ago
1999
Springer
ENTCS
2006
14 years 9 months ago
2006
CSFW
2005
IEEE
15 years 3 months ago
2005
IEEE
Real computing systems sometimes need to forget sensitive information. This paper explores the specification and semantics of information erasure policies, which impose a strong,...