Model Checking the Secure Electronic Transaction Protocol