29 search results - page 1 / 6 » Assumptions and Guarantees for Compositional Noninterference |
CSFW
2011
IEEE
12 years 4 months ago
2011
IEEE
CSFW
2004
IEEE
13 years 8 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
CSFW
2006
IEEE
13 years 11 months ago
2006
IEEE
A common theoretical assumption in the study of information flow security in Java-like languages is that pointers are opaque – i.e., that the only properties that can be observ...
IEEESCC
2006
IEEE
13 years 11 months ago
2006
IEEE
Service composition aims to provide an efficient and accurate model of a service, based on which the global service oriented architecture (SOA) can be realized, allowing value add...
ATVA
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...