349 search results - page 7 / 70 » Compositional Security for Task-PIOAs |
112
Voted
ASIACRYPT
2010
Springer
14 years 11 months ago
2010
Springer
sion of an extended abstract published in Proceedings of Asiacrypt 2010, Springer-Verlag, 2010. Available from the IACR Cryptology ePrint Archive as Report 2010/474. Beginning wit...
CSFW
1996
IEEE
15 years 6 months ago
1996
IEEE
136
click to vote
CRYPTO
2012
Springer
13 years 4 months ago
2012
Springer
Abstract. We present the first black-box construction of a secure multiparty computation protocol that satisfies a meaningful notion of concurrent security in the plain model (wi...
129
click to vote
CCS
2003
ACM
15 years 7 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
150
click to vote
SOCIALCOM
2010
14 years 11 months ago
2010
Service composition is a new paradigm for efficient and cost-effective IT service provisioning over the network. To safely and effectively deploy composed services within an organi...