947 search results - page 156 / 190 » Provable Implementations of Security Protocols |
COMCOM
2011
13 years 4 months ago
2011
Key distribution in Wireless Sensor Networks (WSNs) is challenging. Symmetric cryptosystems can perform it efficiently, but they often do not provide a perfect trade-off between ...
KBSE
2003
IEEE
14 years 3 months ago
2003
IEEE
The client-server model has been successfully used to support a wide variety of families of services in the context of distributed systems. However, its server-centric nature make...
ESORICS
2009
Springer
14 years 10 months ago
2009
Springer
Digital identity credentials are a key enabler for important online services, but widespread theft and misuse of such credentials poses serious risks for users. We believe that an ...
FSTTCS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
WISA
2004
Springer
14 years 3 months ago
2004
Springer
Content protection mechanisms are intended to enforce the usage rights on the content. These usage rights are carried by a license. Sometimes, a license even carries the key that i...