2335 search results - page 35 / 467 » Securing Distributed Systems with Information Flow Control |
163
Voted
BPSC
2009
15 years 3 months ago
2009
Abstract: We report on ongoing work towards a posteriori detection of illegal information flows for business processes, focusing on the challenges involved in doing so. Resembling ...
118
click to vote
TOCS
2002
15 years 2 months ago
2002
This paper presents secure program partitioning, a language-based technique for protecting confidential data during computation in distributed systems containing mutually untruste...
116
Voted
INFORMATICALT
2008
15 years 2 months ago
2008
In this paper, we present a novel fine-grained access control system for applications where the information flow is critical; the confidentiality of the data is essential and there...
110
Voted
CSFW
2010
IEEE
15 years 6 months ago
2010
IEEE
—This paper proposes a systematic study of information flow in credential-based declarative authorization policies. It argues that a treatment in terms of information flow is n...
110
Voted
ERSHOV
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...