Automated verification of selected equivalences for security protocols