2335 search results - page 102 / 467 » Securing Distributed Systems with Information Flow Control |
160
click to vote
CCS
2009
ACM
16 years 1 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...
180
click to vote
EDOC
2006
IEEE
16 years 21 days 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...
149
click to vote
EDOC
2005
IEEE
16 years 8 days 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...
165
click to vote
ESORICS
2004
Springer
16 years 1 days 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 ï¬...
159
click to vote
PLDI
2012
ACM
13 years 9 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 ...