5 search results - page 1 / 1 » csfw 1996 |
CSFW
1996
IEEE
13 years 8 months ago
1996
IEEE
CSFW
1996
IEEE
13 years 8 months ago
1996
IEEE
CSFW
1996
IEEE
13 years 8 months ago
1996
IEEE
CSFW
1996
IEEE
13 years 8 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...
CSFW
1996
IEEE
13 years 8 months ago
1996
IEEE
: This paper examines some of the theoretical foundations of the distributable change detection method introduced by Forrest et al. in [10], including fundamental bounds on some of...