A Note on the Perfect Encryption Assumption in a Process Calculus