En el presente trabajo se analizan los fundamentos teóricos que avalan la teoría de bases de Groebner, desarrollada por Bruno Buchberger en su tesis doctoral en 1965. Posteriormente, se estudian dos tipos de criptosistemas bajo los que subyace dicha teoría, llamados criptosistemas Barkee y criptosistemas Polly Cracker, y se comprueba su seguridad ante ciertos ataques algebraicos.<br /
