4731 search results - page 788 / 947 » Securing Interactive Programs |
158
click to vote
IPPS
2005
IEEE
16 years 2 days ago
2005
IEEE
— We describe the design and implementation of MOCCA, a distributed CCA framework implemented using the H2O metacomputing system. Motivated by the quest for appropriate metasyste...
153
click to vote
EDO
2005
Springer
16 years 6 hour ago
2005
Springer
Middleware is often built using a layered architectural style. Layered design provides good separation of the different concerns of middleware, such as communication, marshaling, ...
190
click to vote
HIPC
2005
Springer
15 years 12 months ago
2005
Springer
Graph theoretic problems are representative of fundamental computations in traditional and emerging scientific disciplines like scientific computing, computational biology and b...
159
click to vote
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper we attempt to formally study two very intuitive physical models: sealed envelopes and locked boxes, often used as illustrations for common cryptographic ope...
171
click to vote
IFIP
2005
Springer
15 years 12 months ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...