Realistic, strong and provable key exchange security
<p>Authenticated key exchange protocols are ubiquitous in modern-day life. They are used to secure numerous types of data exchange, ranging from online banking to instant messaging conversations. In this thesis, we extend the state of the art for authenticated key exchange security, following...
Main Author: | Garratt, L |
---|---|
Other Authors: | Cremers, C |
Format: | Thesis |
Language: | English |
Published: |
2018
|
Similar Items
-
Efficient and provably secure key agreement for modern smart metering communications
by: Braeken, A, et al.
Published: (2018) -
Provably secure randomized AAβ cryptosystem
by: Asbullah, Muhammad Asyraf, et al.
Published: (2015) -
Provably secure Rabin-p cryptosystem in hybrid setting
by: Asbullah, Muhammad Asyraf, et al.
Published: (2016) -
Review: Logics of provability
by: Williamson, T
Published: (1996) -
Provably Correct Systems
by: He, J, et al.
Published: (1994)