Text this: Analysis and improvement for authentication protocols of mobile ad hoc network with CSP approach