6555 search results - page 1141 / 1311 » Secure attribute-based systems |
121
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract—Current techniques towards information security have limited capabilities to detect and counter attacks that involve different kinds of masquerade and spread of misinfor...
119
Voted
TLDI
2003
ACM
15 years 8 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
136
click to vote
WMASH
2003
ACM
15 years 8 months ago
2003
ACM
To be widely adopted, location-aware computing must be as effortless, familiar and rewarding as web search tools like Google. We envisage the global scale Place Lab, consisting of...
139
click to vote
ICDCS
2002
IEEE
15 years 8 months ago
2002
IEEE
Ubiquitous computing is poised to revolutionize the way we compute and interact with each other. However, unless privacy concerns are taken into account early in the design proces...
127
click to vote
ICDCS
2002
IEEE
15 years 8 months ago
2002
IEEE
Group key agreement is a fundamental building block for secure peer group communication systems. Several group key agreement protocols were proposed in the last decade, all of the...