14 search results - page 3 / 3 » A Cryptographic Decentralized Label Model |
SOSP
2009
ACM
14 years 1 months ago
2009
ACM
Fabric is a new system and language for building secure distributed information systems. It is a decentralized system that allows heterogeneous network nodes to securely share bot...
CSFW
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
IFIP
2005
Springer
13 years 10 months ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
EUROSYS
2008
ACM
14 years 2 months ago
2008
ACM
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...