275 search results - page 41 / 55 » Analysis of a Fair Exchange Protocol |
CSFW
2007
IEEE
14 years 4 months ago
2007
IEEE
There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserv...
P2P
2010
IEEE
13 years 8 months ago
2010
IEEE
—The efficiency of BitTorrent for file sharing has inspired a number of BitTorrent-based P2P protocols for Videoon-Demand (VoD). It has been shown that these systems are scalab...
JCIT
2010
13 years 4 months ago
2010
Voice over Internet Protocol (VoIP) is a general term for a family of transmission technologies to delivery of voice communications over IP networks such as the Internet or other ...
CISC
2005
Springer
14 years 3 months ago
2005
Springer
We propose a system which allows users to monitor how their email addresses are used and how they spread over the Internet. This protects the privacy of the user and can reduce the...
FSTTCS
2003
Springer
14 years 3 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...