430 search results - page 44 / 86 » Efficient Proving for Practical Distributed Access-Control S... |
CONCUR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
Distributed systems are now both very large and highly dynamic. Peer to peer overlay networks have been proved efficient to cope with this new deal that traditional approaches can ...
CCS
2006
ACM
15 years 3 months ago
2006
ACM
Role engineering, the task of defining roles and associating permissions to them, is essential to realize the full benefits of the role-based access control paradigm. Essentially,...
PDP
2007
IEEE
15 years 6 months ago
2007
IEEE
In the process of developing P2P systems simulation has proved to be an essential tool for the evaluation of existing and conceived P2P systems. So far, in practice there has been...
DOA
2000
15 years 1 months ago
2000
In the world of pervasive computing where large management systems, as well as small devices, all become interconnected, the problem of the configuration and management of network...