Building a secure and extensible protocol for wired and wireless environments

Many security mechanisms and protocols have been developed to handle security problems in various circumstances. However, these solutions based on traditional security services could not answer special application needs. In this paper, we propose to free from current data exchange security protocols drawbacks to build a new secure and flexible security protocol. We present a new approach named secure and extensible protocol (SEP) that incorporates the recent data exchange security protocols evolutions, in a powerful and flexible way. This protocol enables, among others, client identity protection, end to end security throw the presence of an intermediate authority, and access control. We also propose a formal validation of our protocol with EVA language using Hermes, its automatic validation tool.