36 search results - page 8 / 8 » From Flow Logic to Static Type Systems for Coordination Lang... |
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...