947 search results - page 3 / 190 » Provable Implementations of Security Protocols |
ICC
2007
IEEE
13 years 11 months ago
2007
IEEE
— Databases associated with keywords, can be public, private or hybrid, as a result the solutions to keyword search protocols for each type are different. In this paper, we study...
ACISP
2005
Springer
13 years 11 months ago
2005
Springer
We present a provably secure tree based authenticated group key agreement protocol in dynamic scenario. Bilinear pairing and multi-signature are at the heart of our protocol. We p...
SP
2000
IEEE
13 years 9 months ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
TIFS
2010
13 years 1 days ago
2010
Buyer
CORR
2010
Springer
13 years 2 months ago
2010
Springer
The Hopper-Blum (HB) protocol, which uses noised linear parities of a shared key for authentication, has been proposed for light-weight applications such as RFID. Recently, algorit...