A new knowledge representation strategy for cryptographic protocol analysis