325 search results - page 11 / 65 » Concurrent Composition of Secure Protocols in the Timing Mod... |
152
click to vote
WORDS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents a method to analyze the timing behavior of an event-based real-time protocol composition framework. The framework, called RT-Appia, allows the development and ...
137
click to vote
STOC
2004
ACM
16 years 4 months ago
2004
ACM
We show how to securely realize any multi-party functionality in a way that preserves security under an a-priori bounded number of concurrent executions, regardless of the number ...
140
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
We consider a type of zero-knowledge protocols that are of interest for their practical applications within networks like the Internet: efficient zero-knowledge arguments of knowl...
145
click to vote
CRYPTO
2004
Springer
15 years 10 months ago
2004
Springer
We propose the first distributed discrete-log key generation (DLKG) protocol from scratch which is adaptively-secure in the non-erasure model, and at the same time completely avoi...
129
click to vote
CSFW
2008
IEEE
15 years 11 months ago
2008
IEEE
We investigate the composition of protocols that share a common secret. This situation arises when users employ the same password on different services. More precisely we study w...