Searching for "Secure Authenticated Key Exchange Protocol." – sorted by Relevance.
-
On Formal Models for Secure Key Exchange
- In this paper, we investigate formal models of security for authenticated key exchange protocols in a public key
- Cited by 56 (2 self) – Add To MetaCart
-
Secure Object Identification - or: Solving The Chess Grandmaster Problem
- of the constructed identification scheme to that of a secure authenticated key-exchange protocol that is secure
- Cited by 6 (0 self) – Add To MetaCart
-
New approaches for deniable authentication
- most of the known key exchange protocols use digital signatures to authenticate the parties running
- Cited by 9 (0 self) – Add To MetaCart
-
Repairing the BlueTooth pairing protocol
- . The security of the AMP family as secure authenticated key exchange protocols has been asserted by a formal
- Cited by 1 (0 self) – Add To MetaCart
-
New Approaches for Deniable Authentication
- modular approach to prove the security of authentication and key exchange protocols. Here we reuse
- Cited by 1 (0 self) – Add To MetaCart
-
Authentication and Key Agreement via Memorable Password
- AMP is a secure authenticated key exchange protocol
- Cited by 22 (5 self) – Add To MetaCart
-
Environmental requirements and authentication protocols
- the security of authentication and key-exchange protocols. By \environment" we mean the combination of four
- Cited by 12 (2 self) – Add To MetaCart
-
Environmental Requirements for Authentication
- ) when analyzing the security of authentication and key-exchange protocols. By "environment" we mean
- Cited by 2 (0 self) – Add To MetaCart
-
Concurrent Oblivious Transfer
- on securing authentication and key exchange protocols in a concurrent setting (e.g., [4, 6, 7, 24, 35, 36, 42
- Cited by 17 (1 self) – Add To MetaCart
-
Concurrent Oblivious Transfer
- on securing authentication and key exchange protocols in a concurrent setting (e.g., [4, 6, 7, 24, 35, 36, 42
- Add To MetaCart

