2335 search results - page 102 / 467 » Securing Distributed Systems with Information Flow Control |
131
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
141
click to vote
EDOC
2006
IEEE
15 years 11 months ago
2006
IEEE
When building enterprise applications that need to be accessed through a variety of client devices, developers usually strive to implement most of the business logic device-indepen...
114
click to vote
EDOC
2005
IEEE
15 years 10 months ago
2005
IEEE
Assessing the level of information security in an enterprise is a serious challenge for many organizations. This paper considers the prioritization of the field of enterprise info...
136
click to vote
ESORICS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ï¬...
127
click to vote
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...