本文的思想来源于密码学中的代数方程求解和代数免疫性研究.代数方程求解与多元多项式函数的性质有关,在布尔环中体现为真值表;代数免疫性与理想的性质有关,同时与乘法运算有着密切的联系.编码和密码学中的问题几乎都与高阶布尔环相关,元素和理想的性质就是刻画高阶布尔环代数结构以及相关算法.对于高阶布尔环的研究可以从三个不同的途径入手.其一是高阶布尔环是一个有限维的Artinian代数,从而可以从向量空间的角度描述其结构常数,从理想和子代数角度对其进行直和分解以及研究理想的结构和记数等,这种方法能很好地从理论上把握一个代数,但是不能从计算和表达上得到更好的结果;其二是从符号计算的角度出发,研究理想的生成元和求出向量空间的幂积基,这种研究的主要工具是Grobner基、吴方法和结式,这种研究方法的目的就是要进行精确计算从而给出计算和表达上的简单表示,但是计算的复杂度是双指数的;其三是多元插值,插值基是一组幂等乘积正交基,它能很好地对元素进行表示和进行乘法运算,但是多元插值的稳定性不是很好,插值基的计算也比较困难.本文综合利用了三种方法对高阶布尔环进行研究,同时给出了相关的一些应用.本文主要研究内容和结论包括:1、给出了单项式理想的生成元是正则列的充分必要条件,从而得到了从零维理想的Grobner基中选择极大正则列的方法.利用这些结果对一种基于计算机代数设计的门限方案的安全性进行了分析,指出了这种方案安全性是不完备的.2、提出了高阶布尔环的概念,并对其幂积基、乘积分解基和插值基的关系进行了刻画,进而得出了高阶布尔环是主理想环的结论.3、给出了高阶布尔环上元素的线性化表示方法,得到了多项式函数方程组的线性化求解算法,并且给出了布尔函数方程组线性化求解算法的复杂度估计.4、给出了高阶布尔环上函数的权和次数的一个关系.5、通过对一般高阶布尔环的研究,得到了相关的平行结论,提出了一种构造新型布尔环的方法.6、解决了两类基于完全非线性函数的线性码的权分布问题.