3115 search results - page 141 / 623 » Synthesizing Secure Protocols |
SPW
2005
Springer
15 years 3 months ago
2005
Springer
We examine several ad-hoc pairing protocols that strengthen their radio exchanges with additional transmissions over another channel, for example a screen showing graphically encod...
STORAGESS
2006
ACM
15 years 3 months ago
2006
ACM
New designs for petabyte-scale storage systems are now capable of transferring hundreds of gigabytes of data per second, but lack strong security. We propose a scalable and effici...
ICDE
2007
IEEE
15 years 4 months ago
2007
IEEE
The correct implementation of security protocols is a challenging task. To achieve a high degree of confidence in an implementation, as with any software, ideally one requires bot...
CSFW
2003
IEEE
15 years 3 months ago
2003
IEEE
We investigate a number of issues related to identity based authenticated key agreement protocols using the Weil or Tate pairings. These issues include how to make protocols effici...
CRYPTO
2003
Springer
15 years 3 months ago
2003
Springer
We consider the fundamental problem of authenticated group key exchange among n parties within a larger and insecure public network. A number of solutions to this problem have bee...