Flat and one-variable clauses: Complexity of verifying cryptographic protocols with single blind copying