2335 search results - page 18 / 467 » Securing Distributed Systems with Information Flow Control |
105
click to vote
ACSAC
2003
IEEE
15 years 6 months ago
2003
IEEE
In [1], we proposed a model for policy-based intrusion detection, based on information flow control. In the present paper, we show its applicability and effectiveness on a stand...
85
Voted
CSFW
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
117
click to vote
ESCIENCE
2007
IEEE
15 years 5 months ago
2007
IEEE
Scientific workflows have recently emerged as a new paradigm for representing and managing complex distributed scientific computations and data analysis, and have enabled and acce...
116
click to vote
ESORICS
2006
Springer
15 years 5 months ago
2006
Springer
Timing side channels are a serious threat to the security of cryptographic algorithms. This paper presents a novel method for the timing-sensitive analysis of information flow in s...
107
click to vote
ICS
1989
Tsinghua U.
15 years 5 months ago
1989
Tsinghua U.
Control intensive scalar programs pose a very different challenge to highly pipelined supercomputers than vectorizable numeric applications. Function call/return and branch instru...