90 search results - page 11 / 18 » A Framework for Protocol Composition in Horus |
CORR
2007
Springer
13 years 7 months ago
2007
Springer
We give a new, simulation-based, definition for security in the bounded-quantum-storage model, and show that this definition allows for sequential composition of protocols. Damg...
SIGCOMM
2003
ACM
14 years 24 days ago
2003
ACM
Path vector protocols are currently in the limelight, mainly because the inter-domain routing protocol of the Internet, BGP (Border Gateway Protocol), belongs to this class. In th...
ASIACRYPT
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In the standard general-adversary model for multi-party protocols, a global adversary structure is given, and every party must trust in this particular structure. We intr...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...
EWSN
2008
Springer
14 years 7 months ago
2008
Springer
Component-based architectures are the traditional approach cile application specific optimization with reusable abstractions in sensor networks. However, they frequently overwhelm ...