Alice requests an interactive conversation with Bob
Created by: iapazmino
Expected output: A textual description of the DAKE on the interactive setting.
The network model is assumed to be the same as OTRv3: "a network model which provides in-order delivery of messages, but that some messages may not get delivered at all (for example, if the user disconnects)".
It must be presented in terms of the primitives (like OTRv3 explains in the "Authenticated Key Exchange (AKE)" section). It must not rely on any capability of the instant messaging service besides sending and receiving messages.