New Results - Algebraic Properties in Cryptographic Protocol Verification