1777 search results - page 152 / 356 » Programming Cryptographic Protocols |
128
click to vote
JOC
2000
15 years 1 months ago
2000
Abstract. Since the appearance of public-key cryptography in the seminal DiffieHellman paper, many new schemes have been proposed and many have been broken. Thus, the simple fact t...
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
Enforcing compliance to API usage protocols is notoriously hard due to possible aliasing of objects through multiple references. In previous work we proposed a sound, modular appr...
ICALP
2000
Springer
15 years 4 months ago
2000
Springer
We study contention-resolution protocols for multiple-access channels. We show that every backoff protocol is transient if the arrival rate, , is at least 0.42 and that the capaci...
194
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
Network protocol design is usually an informal process where debugging is based on successive iterations of a prototype implementation. The feedback provided by a prototype can be...
108
click to vote
BROADNETS
2006
IEEE
15 years 7 months ago
2006
IEEE
— The nature of Grid and distributed computing implies communication between heterogeneous systems over a wide and ever-changing variety of network environments. Often large amou...