“…In [24, 25] the authors proposed a process calculus for mobile ad‐hoc networks (MANETs) which relies on a behaviour‐based multilevel trust model. However, this model is more complicated when compared to the model presented in [6]. Therefore, in our analysis, we consider the model presented in [6].…”