89 search results - page 14 / 18 » Secure Composition of Insecure Components |
CCS
2009
ACM
14 years 4 months ago
2009
ACM
Open distributed systems such as service oriented architecture and cloud computing have emerged as promising platforms to deliver software as a service to users. However, for many...
JAR
2008
13 years 9 months ago
2008
The spreading of multicast technology enables the development of group communication and so dealing with digital streams becomes more and more common over the Internet. Given the f...
CCS
2004
ACM
14 years 3 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
ISORC
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper we describe our approach for developing a QoS-aware, dependable execution environment for large-scale distributed stream processing applications. Distributed stream ...
JNW
2007
13 years 9 months ago
2007
Abstract— Publish/subscribe has emerged as an attractive communication paradigm for building Internet-wide distributed systems by decoupling message senders from receivers. Large...