253 search results - page 22 / 51 » Compositional Analysis of Authentication Protocols |
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
—We propose a security authentication policy, Dynamic Session Key Policy (DSKP), for a secure handoff between the UMTS and IEEE 802.11 WLAN. This policy is founded and improved f...
ISARCS
2010
13 years 11 months ago
2010
Abstract. Component-based architectures are widely used in embedded systems. For managing complexity and improving quality separation of concerns is one of the most important princ...
NETWORKING
2004
13 years 9 months ago
2004
We present an efficient authenticated and fault-tolerant protocol (AFTD) for tree-based key agreement. Our approach is driven by the insight that when a Diffie-Hellman blinded key ...
IACR
2011
12 years 7 months ago
2011
Hummingbird-2 is an encryption algorithm with a 128-bit secret key and a 64-bit initialization vector. Hummingbird-2 optionally produces an authentication tag for each message proc...
ICWS
2004
IEEE
13 years 9 months ago
2004
IEEE
A conversation protocol is a top-down specification framework which specifies desired global behaviors of a web service composition. In our earlier work [6] we studied the problem...