A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures