349 search results - page 7 / 70 » Compositional Security for Task-PIOAs |
ASIACRYPT
2010
Springer
13 years 7 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
14 years 1 months ago
1996
IEEE
CRYPTO
2012
Springer
12 years 7 days 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...
CCS
2003
ACM
14 years 3 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...
SOCIALCOM
2010
13 years 7 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...