3115 search results - page 352 / 623 » Synthesizing Secure Protocols |
180
click to vote
CRYPTO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Cryptographic systems often involve running multiple concurrent instances of some protocol, where the instances have some amount of joint state and randomness. (Examples ...
165
click to vote
SPW
2000
Springer
15 years 10 months ago
2000
Springer
The underlying belief and knowledge models assumed by various kinds of authentication protocols have been studied for well over 10 years now. On the other hand, the related questio...
162
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Edge networks connected to the Internet need effective monitoring techniques to drive routing decisions and detect violations of Service Level Agreements (SLAs). However, existing...
177
click to vote
PODC
2004
ACM
16 years 1 days ago
2004
ACM
Group key exchange protocols allow a group of servers communicating over an asynchronous network of point-to-point links to establish a common key, such that an adversary which fu...
145
click to vote
APPROX
2007
Springer
16 years 24 days ago
2007
Springer
We study the two party problem of randomly selecting a string among all the strings of length n. We want the protocol to have the property that the output distribution has high en...