论文《TypesandEffectsforAsymmetricCryptographicProtocols》