A survey of algebraic properties used in cryptographic protocols