On the Robustness of Some Cryptographic Protocols for Mobile Agent Protection