609 search results - page 29 / 122 » Modelling and Checking Timed Authentication of Security Prot... |
COCOON
2010
Springer
14 years 19 days ago
2010
Springer
In identity-based public-key cryptography, an entity’s public key can be easily derived from its identity. The direct derivation of public keys in identity-based public-key crypt...
SPC
2005
Springer
14 years 1 months ago
2005
Springer
We develop the theme of an earlier paper [3], namely that security protocols for pervasive computing frequently need to exploit empirical channels and that the latter can be classi...
ASIACRYPT
2006
Springer
13 years 11 months ago
2006
Springer
This paper presents a secure constant-round password-based group key exchange protocol in the common reference string model. Our protocol is based on the group key exchange protoco...
IPPS
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
ESORICS
2005
Springer
14 years 1 months ago
2005
Springer
Currently, many industrial initiatives focus on web-based applications. In this context an important requirement is that the user should only rely on a standard web browser. Hence...