848 search results - page 81 / 170 » Secure Information Flow for Distributed Systems |
134
click to vote
STORAGESS
2005
ACM
15 years 5 months ago
2005
ACM
We describe a novel approach for building a secure and fault tolerant data storage service in collaborative work environments, which uses perfect secret sharing schemes to store d...
WWW
2008
ACM
16 years 16 days ago
2008
ACM
The fast development of the Web provides new ways for effective distribution of network-based digital goods. A digital marketplace provides a platform to enable Web users to effec...
107
click to vote
ACSAC
2003
IEEE
15 years 3 months ago
2003
IEEE
We propose an efficient and flexible system for a secure and authentic data exchange in a multiinstitutional environment, where the institutions maintain different databases and p...
118
click to vote
IFM
2010
Springer
14 years 10 months 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 ...
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents a separation of concerns approach to solve the tangling problem of functional and Quality of Service (QoS) concerns in traditional Component-based Software Eng...