A Calculus for the analysis of wireless network security protocols