3 research outputs found
Automatic Covert Channel Analysis of a Multilevel Secure Component
The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrading average time performances