"MAN : Encryption protocol verification"