Computational algebra and security problems