244 search results - page 11 / 49 » Dynamic Dependency Monitoring to Secure Information Flow |
ENTCS
2007
14 years 9 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...
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...
DSN
2009
IEEE
15 years 4 months ago
2009
IEEE
Dynamic Information Flow Tracking (DIFT) is a promising security technique. With hardware support, DIFT prevents a wide range of attacks on vulnerable software with minimal perfor...
ICUMT
2009
14 years 7 months ago
2009
Web services are ubiquitous technologies which are used for integrating business processes and services. As is the case in many other applications, the information processed in we...
PROCEDIA
2010
14 years 8 months ago
2010
The dynamic and collaborative nature of mobile and sensor networks raises the issue of how connected mobile devices can be trusted. Despite the existing security paradigms such as...