120 search results - page 5 / 24 » Information Flow Analysis in Logical Form |
EUSFLAT
2009
14 years 7 months ago
2009
This paper proposes to analyze two flow line systems in which we include possibilistic data -the priority-discipline is possibilistic instead of probabilistic- and measure the perf...
CASSIS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
CLEF
2009
Springer
14 years 7 months ago
2009
Springer
Narrative peaks are points at which the viewer perceives a spike in the level of dramatic tension within the narrative flow of a video. This paper reports on four approaches to na...
87
Voted
CSFW
2004
IEEE
15 years 1 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
CADE
2005
Springer
15 years 10 months ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...