2335 search results - page 23 / 467 » Securing Distributed Systems with Information Flow Control |
116
click to vote
CDC
2008
IEEE
15 years 3 months ago
2008
IEEE
In this paper, we present a series of distributed algorithms for coverage verification in sensor networks with no location information. We demonstrate how, in the absence of locali...
151
Voted
CSFW
1996
IEEE
15 years 5 months ago
1996
IEEE
In this paper we compare two information flow security properties: the lazy security (L-Sec) [11] and the Bisimulation Non-deducibility on Compositions (BNDC) [4]. To make this we...
117
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
125
click to vote
ESOP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
148
click to vote
KES
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We present a method for mapping security levels among the components of a distributed system where data in the local sources are represented in XML. Distributed data is i...