6555 search results - page 874 / 1311 » Secure attribute-based systems |
162
click to vote
AUSAI
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...
146
click to vote
NSDI
2008
15 years 8 months ago
2008
There is a large body of research on how to design user interfaces for systems so as to ensure that important messages from the systems are presented to the user to maximize the p...
168
click to vote
ATC
2006
Springer
15 years 8 months ago
2006
Springer
The emerging autonomic computing technology has been hailed by world-wide researchers and professionals in academia and industry. Besides four key capabilities, well known as self-...
118
click to vote
GEOINFO
2007
15 years 7 months ago
2007
This article presents the evolution of a very large geospatial database and application developed for telecommunications outside plant management. The needs for the construction of...
153
click to vote
SEC
2004
15 years 7 months ago
2004
Trusted Computing gives rise to a new supply of trusted third parties on which distributed systems can potentially rely. They are the secure system components (hardware and softwa...