165 search results - page 11 / 33 » Safely Composing Security Protocols |
ICDCSW
2008
IEEE
15 years 4 months ago
2008
IEEE
Research in MANETs has resulted in the development of numerous and diverse routing protocols. We argue in this paper that this diversity is inherent to the MANET domain and theref...
116
click to vote
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
A communication trace is a detailed record of the communication between two entities. Communication traces are vital for research in computer networks and protocols in many domain...
105
click to vote
EUROCRYPT
2011
Springer
14 years 1 months ago
2011
Springer
We define the BQS-UC model, a variant of the UC model, that deals with protocols in the bounded quantum storage model. We present a statistically secure commitment protocol in th...
ASIACRYPT
2009
Springer
15 years 4 months ago
2009
Springer
A universally composable (UC) blind signature functionality requres users to commit to the message to be blindly signed. It is thereby impossible to realize in the plain model. Th...
SECRYPT
2008
14 years 11 months ago
2008
Distance-bounding protocols have been proposed by Brands and Chaum in 1993 in order to detect relay attacks, also known as mafia fraud. Although the idea has been introduced fiftee...