A framework for security analysis of mobile wireless networks (2006)

by S Nanz, C Hankin
Venue:Theor. Comput. Sci