6812 search results - page 71 / 1363 » Detection of Information Flows |
102
click to vote
MIDDLEWARE
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Existing middleware is based on control-flow centric interaction models such as remote method invocations, poorly matching the structure of applications that process con...
134
click to vote
ENTCS
2007
15 years 1 months ago
2007
We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...
138
click to vote
TVCG
2010
14 years 11 months ago
2010
—The process of visualization can be seen as a visual communication channel where the input to the channel is the raw data, and the output is the result of a visualization algori...
101
click to vote
FOSSACS
2010
Springer
15 years 8 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
101
click to vote
CONCUR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We consider the problem of defining the information leakage in interactive systems where secrets and observables can alternate during the computation. We show that the in...