2335 search results - page 266 / 467 » Securing Distributed Systems with Information Flow Control |
193
click to vote
PET
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
148
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Combining data and code from third-party sources has enabled a new wave of web mashups that add creativity and functionality to web applications. However, browsers are poorly desi...
184
click to vote
WAIM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Modern large distributed applications, such as telecommunication and banking services, need to respond instantly to a huge number of queries within a short period of time...
178
click to vote
ISW
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Applications typically rely on the operating system to enforce access control policies such as MAC, DAC, or other policies. However, in the face of a compromised operatin...
196
click to vote
DEBS
2010
ACM
15 years 9 months ago
2010
ACM
Operator-based programming languages provide an effective development model for large scale stream processing applications. A stream processing application consists of many runtim...