Sciweavers

101 search results - page 1 / 21
» A Classification of Time and or Probability Dependent Securi...
Sort
View
ENTCS
2006
145views more  ENTCS 2006»
14 years 10 months ago
A Classification of Time and/or Probability Dependent Security Properties
In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial studnformation ...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo...
78
Voted
TSE
2010
120views more  TSE 2010»
14 years 8 months ago
Time and Probability-Based Information Flow Analysis
Abstract—In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial stud...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo...
72
Voted
ESORICS
2000
Springer
15 years 1 months ago
Analysing Time Dependent Security Properties in CSP Using PVS
Neil Evans, Steve Schneider
85
Voted
TIP
2008
165views more  TIP 2008»
14 years 10 months ago
Activity Modeling Using Event Probability Sequences
Changes in motion properties of trajectories provide useful cues for modeling and recognizing human activities. We associate an event with significant changes that are localized in...
Naresh P. Cuntoor, B. Yegnanarayana, Rama Chellapp...