2335 search results - page 9 / 467 » Securing Distributed Systems with Information Flow Control |
OSDI
2006
ACM
15 years 12 months ago
2006
ACM
HiStar is a new operating system designed to minimize the amount of code that must be trusted. HiStar provides strict information flow control, which allows users to specify preci...
ARCS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
105
click to vote
POPL
2012
ACM
13 years 7 months ago
2012
ACM
JavaScript has become a central technology of the web, but it is also the source of many security problems, including cross-site scripting attacks and malicious advertising code. ...
IEEEARES
2010
IEEE
15 years 6 months ago
2010
IEEE
ACISP
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. Most current object-based distributed systems support access control lists for access control. However, it is difficult to determine which principal information to use fo...