8644 search results - page 29 / 1729 » On the Composition of Secure Systems |
IANDC
2008
13 years 7 months ago
2008
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
AISS
2010
13 years 5 months ago
2010
Web services technologies change the software industry drastically by developing and integrating enterprise web services and applications in order to enable the users to access th...
LCN
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, we propose a novel framework for secure multicast on overlay networks. Our contributions are threefold: 1) a technique key composition is proposed to cope with the ...
STOC
2005
ACM
14 years 8 months ago
2005
ACM
In the setting of secure multiparty computation, a set of parties wish to to jointly compute some function of their input (i.e., they wish to securely carry out some distributed t...
OTM
2007
Springer
14 years 1 months ago
2007
Springer
Frameworks that support the implementation and execution of service compositions are a fundamental component of middleware infrastructures that support the design of adaptive syste...