Preserving Unlikability against Covert Channels in Multi-Party Security Protocols