212 search results - page 15 / 43 » A Formal Model for Trust in Dynamic Networks |
FMCO
2007
Springer
14 years 9 days ago
2007
Springer
We propose a framework for component-based modeling of distributed systems. It provides separation of concerns between computation (in object oriented components), coordination (vi...
ESORICS
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Recent years have seen unprecedented growth in the popularity of social network systems, with Facebook being an archetypical example. The access control paradigm behind t...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
NDSS
2009
IEEE
14 years 3 months ago
2009
IEEE
Many existing privacy-preserving techniques for querying distributed databases of sensitive information do not scale for large databases due to the use of heavyweight cryptographi...
KESAMSTA
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. We describe and model a new aspect in the design of distributed information systems. We build upon a previously described problem on the microlevel, which asks how quickl...