3115 search results - page 486 / 623 » Synthesizing Secure Protocols |
138
Voted
WS
2004
ACM
15 years 11 months ago
2004
ACM
802.11i is an IEEE standard designed to provide enhanced MAC security in wireless networks. The authentication process involves three entities: the supplicant (wireless device), t...
147
click to vote
CRYPTO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we revisit one of the most popular passwordbased key exchange protocols, namely the OKE (for Open Key Exchange) scheme, proposed by Luck in 1997. Our result...
154
click to vote
UIALL
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we report on ongoing experiments with an advanced multimodal system for applications in architectural design. The system supports uninformed users in entering the rel...
191
click to vote
AGENTS
2001
Springer
15 years 10 months ago
2001
Springer
From a software engineering perspective, agent systems are a specialization of object-oriented (OO) systems, in which individual objects have their own threads of control and thei...
170
click to vote
CTRSA
2001
Springer
15 years 10 months ago
2001
Springer
Safe long-term storage of user private keys is a problem in client/server systems. The problem can be addressed with a roaming system that retrieves keys on demand from remote cred...