3504 search results - page 328 / 701 » Secure protocol composition |
176
click to vote
OTM
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Protocols that govern the interactions between software components are a popular means to support the construction of correct component-based systems. Previous studies ha...
188
click to vote
JNW
2007
15 years 6 months ago
2007
— This paper presents a fail-safe platform on which cooperative mobile robots rely for their motion. The platform consists of a collision prevention protocol for a dynamic group ...
239
click to vote
IJNSEC
2011
15 years 1 months ago
2011
Multicast gives professional large-scale content distribution by providing an efficient transport mechanism for one-to-many and many-to-many communications. There is a number of s...
183
click to vote
PAIRING
2010
Springer
15 years 5 months ago
2010
Springer
Lewko and Waters [Eurocrypt 2010] presented a fully secure HIBE with short ciphertexts. In this paper we show how to modify their construction to achieve anonymity. We prove the s...
175
click to vote
EUROCRYPT
2007
Springer
16 years 25 days ago
2007
Springer
Protocols proven secure within the universal composability (UC) framework satisfy strong and desirable security properties. Unfortunately, it is known that within the “plain” m...