Steven Gordon. Formal Analysis of PANA Authentication and Authorisation Protocol. In Ninth International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2008, Dunedin, Otago, New Zealand, 1-4 December 2008. pages 277-284, IEEE Computer Society, 2008. [doi]
Abstract is missing.