6555 search results - page 1178 / 1311 » Secure attribute-based systems |
173
click to vote
MOBISYS
2007
ACM
16 years 6 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...
191
click to vote
ESOP
2009
Springer
16 years 1 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...
187
click to vote
CRYPTO
2009
Springer
16 years 29 days 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...
190
click to vote
RTAS
2008
IEEE
16 years 23 days 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...
230
click to vote
OOPSLA
2007
Springer
16 years 16 days 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...