Formal reasoning on authentication in security protocols
Jaouhar Fattahi, Mohamed Mejri, Ridha Ghayoula, Emil Pricop · 2016
In this paper, we are proposing a new formal framework for reasoning on authentication in security protocols based on analytic functions. We give sufficient conditions that, if satisfied, the protocol is declared correct with respect to authentication. We validate our approach on the Yahalom-Lowe protocol. First, we show that it satisfies these few conditions, thus, we conclude that it is correct for authentication.