2261 search results - page 1 / 453 » Dynamic types for authentication |
JCS
2007
13 years 4 months ago
2007
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
CSFW
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
FGCS
2000
13 years 4 months ago
2000
More than ever before the Internet is changing computing as we know it. Global access to information and resources is becoming an integral part of nearly every aspect of our lives...
CSFW
2004
IEEE
13 years 8 months ago
2004
IEEE
The A-GDH.2 and SA-GDH.2 authenticated group key
ISPA
2005
Springer
13 years 10 months ago
2005
Springer
：Wireless Sensor and Actor Networks (WSANs) consist of three types of nodes with different capabilities and functions. Because of these heterogeneities, current network security ...