Rational authentication protocols - Nguyen, L (2011)