12 search results - page 2 / 3 » Complete, Safe Information Flow with Decentralized Labels |
170
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
Software component technology facilitates the costeffective development of specialized applications. Nevertheless, due to the high number of principals involved in a component-str...
182
Voted
ACSAC
2007
IEEE
16 years 23 days ago
2007
IEEE
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also implicit ...
208
Voted
EUROSYS
2008
ACM
16 years 3 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 ...
177
Voted
PLDI
2006
ACM
16 years 11 days ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
148
Voted
SRDS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper discusses the implementation and performance of bounded voting: a new object replication protocol designed for use in mobile and weakly-connected environments. We show ...