659 search results - page 52 / 132 » Compiling and securing cryptographic protocols |
98
Voted
TCC
2005
Springer
15 years 6 months ago
2005
Springer
In this work, relations between the security notions standard simulatability and universal simulatability for cryptographic protocols are investigated. A simulatability-based notio...
113
Voted
CSFW
2010
IEEE
15 years 4 months ago
2010
IEEE
Mobile ad hoc networks consist of mobile wireless devices which autonomously organize their infrastructure. In such a network, a central issue, ensured by routing protocols, is to ...
103
Voted
CSFW
2002
IEEE
15 years 5 months ago
2002
IEEE
We describe a protocol design process, and illustrate its use by creating ATSPECT, an Authentication Test-based Secure Protocol for Electronic Commerce Transactions. The design pr...
131
click to vote
ATC
2007
Springer
15 years 6 months ago
2007
Springer
Group key exchange protocols allow their participants to compute a secret key which can be used to ensure security and privacy for various multi-party applications. The resulting g...
140
click to vote
CSFW
2012
IEEE
13 years 2 months ago
2012
IEEE
The onion routing network Tor is undoubtedly the most widely employed technology for anonymous web access. Although the underlying onion routing (OR) protocol appears satisfactory...