Gordon. Formal Analysis of PANA Authentication and Authorisation Protocol. IEEE, 2008, doi:10.1109/pdcat.2008.12.