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

by S Nanz, C Hankin
Venue:Theoretical Computer Science