848 search results - page 17 / 170 » Secure Information Flow for Distributed Systems |
SIGCOMM
2010
ACM
13 years 7 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
TOCS
2002
13 years 6 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...
CSFW
2010
IEEE
13 years 10 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...
ERSHOV
2006
Springer
13 years 10 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 ...
CISS
2008
IEEE
14 years 1 months ago
2008
IEEE
—Distributed detection of information flows spanning many nodes in a wireless sensor network is considered. In such a system, eavesdroppers are deployed near several nodes in th...