6293 search results - page 56 / 1259 » Information Flow Testing |
MIDDLEWARE
2001
Springer
14 years 3 days 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...
ENTCS
2007
13 years 7 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...
TVCG
2010
13 years 6 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...
FOSSACS
2010
Springer
14 years 2 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...
IPPS
2008
IEEE
14 years 2 months ago
2008
IEEE
We are designing scalable dynamic information flow tracking techniques and employing them to carry out tasks related to debugging (bug location and fault avoidance), security (so...