2486 search results - page 470 / 498 » A Type System for Computationally Secure Information Flow |
MOBISYS
2007
ACM
14 years 8 months ago
2007
ACM
Provenance becomes a critical requirement for healthcare IT infrastructures, especially when pervasive biomedical sensors act as a source of raw medical streams for large-scale, a...
CRYPTO
2009
Springer
14 years 3 months ago
2009
Springer
Most of the work in the analysis of cryptographic schemes is concentrated in abstract adversarial models that do not capture side-channel attacks. Such attacks exploit various for...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
In this paper, we study a service procurement problem with uncertainty as to whether service providers are capable of completing a given task within a specified deadline. This typ...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
A common video surveillance task is to keep track of people moving around the space being monitored. It is often difficult to track activity between cameras because locations such...
MMSEC
2006
ACM
14 years 2 months ago
2006
ACM
The widespread use of the Internet makes software piracy and unauthorized modification easier and more frequent. Among the many techniques developed for protecting software copyr...