429 search results - page 62 / 86 » Compositionality of Secure Information Flow |
ESORICS
2008
Springer
13 years 9 months ago
2008
Springer
Pervasive computing applications involve information flow across multiple organizations. Thus, any security breach in an application can have far-reaching consequences. However, ef...
VEE
2012
ACM
12 years 3 months ago
2012
ACM
Dynamic data flow tracking (DFT) deals with tagging and tracking data of interest as they propagate during program execution. DFT has been repeatedly implemented by a variety of ...
EDBTW
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. Since XML is used as a storage format in an increasing number of applications, security has become an important issue in XML databases. One aspect of security is restrict...
ESORICS
2008
Springer
13 years 9 months ago
2008
Springer
Current tools for analysing information flow in programs build upon ideas going back to Denning's work from the 70's. These systems enforce an imperfect notion of informa...
CCS
2004
ACM
14 years 1 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...