263 search results - page 39 / 53 » A Computationally Sound Mechanized Prover for Security Proto... |
SIGCSE
2008
ACM
13 years 7 months ago
2008
ACM
Early undergraduate Grid computing courses generally took a bottom-up approach to Grid computing education starting with network protocols, client-server concepts, creating Web an...
SASN
2003
ACM
14 years 22 days ago
2003
ACM
Peer-to-Peer (P2P) applications and services are very common in today’s computing. The popularity of the P2P paradigm prompts the need for specialized security services which ma...
PERCOM
2007
ACM
14 years 7 months ago
2007
ACM
Overlay Networks (ONs) are logical networks built on top of a physical network with the aim of moving part of the routing complexity to the application layer. At the same time, sen...
ISCI
2008
13 years 7 months ago
2008
Most modern cryptographic studies design cryptosystems and algorithms using mathematical concepts. In designing and analyzing cryptosystems and protocols, mathematical concepts ar...
ACSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
The Internet Chess Club (ICC) is a popular online chess server with more than 30,000 members worldwide including various celebrities and the best chess players in the world. Altho...