Deciding security properties for cryptographic protocols. Application to key cycles

Re-assign community