1988 search results - page 229 / 398 » Securing Information Transfer in Distributed Computing Envir... |
141
click to vote
IFM
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
125
Voted
AMW
2010
15 years 3 months ago
2010
We study query authentication schemes, algorithmic and cryptographic constructions that provide efficient and secure protocols for verifying the results of queries over structured...
143
click to vote
DOA
2000
15 years 3 months ago
2000
Smartcards can be seen as service providing entities that implement a secure, tamper-proof storage and offer computational resources which make them ideally suited for a variety o...
113
click to vote
ACMDIS
2010
ACM
15 years 2 months ago
2010
ACM
Increasing our knowledge of how design affects behaviour in the workplace has a large potential for reducing electricity consumption. This would be beneficial for the environment ...
142
click to vote
SACMAT
2010
ACM
15 years 24 days ago
2010
ACM
Proposed models for spatially-aware extensions of role-based access control (RBAC) combine the administrative and security advantages of RBAC with the dynamic nature of mobile and...