Changes

<span style="font-size:200%">T</span>he mpSEQ project was inspired by [https://otr.cypherpunks.ca/Protocol-v3-4.0.0.html Off-The-Record Messaging Protocol] messaging protocol and subsequent efforts to explore a multi-party multiparty use-case for OTR in [GUVGC09]. The protocol mpSEQ is currently developed for [https://github.com/cryptocat/cryptocat/wiki/mpOTR-Project-Plan Cryptocat] - a browser based XMPP chat platform and assumes its use-cases. Most importantly, mpSEQ allows for secure multi-party key exchange and end-to-end encrypted communications without extensive computational requirements from the client. You can follow and contribute to the implementation of [https://github.com/equalitie/libmpotr libmpotr] on our Github pages. Future protocol iterations will consider a variety of other real-world use cases and be platform independent.

In the following section we skim over relevant publications and describe their resultsinfluence on this protocol. In Section [[mpSEQ#Design_rationaleIII._Design_rationale|Section III]], we describe our approach and choice of security features. In Section [[mpSEQ#Security_PropertiesIV._Security_Properties|Section IV]], we overview the properties that we are aiming for in this protocol. In Section [[mpSEQ#Chat_Session_ModelV._Chat_Session_Model|Section V]] we give basic mathematical definition needed to model the chat session and security proofs for various security aspects of the protocol. Section [[mpSEQ#Adversarial_ModelsIV._Adversarial_Models|Section VI]] provides formal definitions and references to the adversarial models for each property which will be the base of the security proof for the protocol. In Section [[mpSEQ#Protocol_High_Level_DesignVII._Protocol_High_Level_Design|Section VII]] we describe various parts of the protocol and present choices for each sub protocol. In Section [[mpSEQ#mpSEQ_ProtocolVIII._mpSEQ_Protocol:_Step_by_Step|Section VIII]], we present each of the mpSEQ protocol steps at various stage in schematic and algorithmic format. We present our choice of primitives in Section [[mpSEQ#Cryptographic_PrimitivesiX._Cryptographic_Primitives|Section IX]]. Finally, we conclude by describing work remaining to be done on this protocol.