Extending TLS to secure multihost applications exchanges

Many security protocols have been developed to handle security problems in various circumstances. However, these protocols are often limited to client/server architectures and cannot answer special application and network's needs such as securing audio/video applications or transactions between several nodes in wireless mesh networks. In this paper, we propose extending the Transport Layer Security (TLS) protocol to securely exchange data between multiple nodes through a single TLS session and to provide third-party auditing capability. We propose a formal validation of our extension with the EVA language using Hermes.