615 search results - page 92 / 123 » Frameworks for Securing Limited-Device Applications |
PODS
2008
ACM
14 years 9 months ago
2008
ACM
We present a formal framework for capturing the provenance of data appearing in XQuery views of XML. Building on previous work on relations and their (positive) query languages, w...
SASO
2008
IEEE
14 years 3 months ago
2008
IEEE
We consider the problem of Object Safety: how objects endowed with processing, communication, and sensing capabilities can determine their safety. We assign an agent to each objec...
MATA
2004
Springer
14 years 2 months ago
2004
Springer
Distribution of product updates to embedded devices can increase product lifetimes for consumers and boost revenues for vendors. Dynamic provisioning of application solutions to e...
ISSA
2004
13 years 10 months ago
2004
Mobile devices, such as mobile phones, are becoming multi-purpose devices. These devices are capable of storing data as well as running custom applications. As more people adopt t...
IEEEARES
2009
IEEE
14 years 3 months ago
2009
IEEE
Dynamic taint analysis (DTA) is a technique used for tracking information flow by propagating taint propagation across memory locations during program execution. Most implementat...