CSFW
1996
IEEE
13 years 11 months ago
1996
IEEE
CSFW
1996
IEEE
13 years 11 months ago
1996
IEEE
CSFW
1996
IEEE
13 years 11 months ago
1996
IEEE
CSFW
1996
IEEE
13 years 11 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 11 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...