3 search results - page 1 / 1 » Covert Flow Trees: A Technique for Identifying and Analyzing... |
SP
1991
IEEE
13 years 7 months ago
1991
IEEE
SP
2010
IEEE
13 years 2 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
COMPSEC
2008
13 years 4 months ago
2008
While general-purpose processor based systems are built to enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reco...