Steven Gordon: Formal Analysis of PANA Authentication and Authorisation Protocol. PDCAT 2008: 277-284