6555 search results - page 1178 / 1311 » Secure attribute-based systems |
128
Voted
MOBISYS
2007
ACM
16 years 2 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...
144
Voted
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
Hofmann and Jost have presented a heap space analysis [1] that finds linear space bounds for many functional programs. It uses an amortised analysis: assigning hypothetical amount...
135
Voted
CRYPTO
2009
Springer
15 years 9 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...
143
Voted
RTAS
2008
IEEE
15 years 9 months ago
2008
IEEE
The notion of resource reservation for obtaining real-time scheduling guarantees and enforcement of resource usage has gained strong support in recent years. However, much work on...
176
Voted
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...