293 search results - page 1 / 59 » A Logical Approach to Multilevel Security of Probabilistic S... |
DC
1998
13 years 5 months ago
1998
ICICS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. 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 degrad...
SP
1996
IEEE
13 years 9 months ago
1996
IEEE
Covert channels are a critical concern for multilevel secure (MLS) systems. Due to their subtlety, it is desirable to use formal methods to analyze MLS systems for the presence of...
ICMLA
2009
13 years 3 months ago
2009
Languages that combine predicate logic with probabilities are needed to succinctly represent knowledge in many real-world domains. We consider a formalism based on universally qua...
CAISE
1999
Springer
13 years 9 months ago
1999
Springer
The Department of Defense (DoD) needs multilevel secure (MLS) workflow management systems to enable globally distributed users and applications to cooperate across classification l...