Computing with secrets for mobile agent using one-time proxy signature