主要研究了有限自动化可逆性理论和安全有限自动机公开钥密码(FAPKC)算法。针对安全性,得到几类非线性组自动机可行的求逆算法,并揭示了该组于七十年代初提出并不断发展的RaRb变换方法与代数经典的约化梯阵方法和标准对角形λ矩阵方法之间的本质联系。给 出了产生具优良可逆性质的非线性有限自动机的RaRb变换方法;在此基础上提出了新的、安全的有限自动机公开钥密码体制 FAPKC3和FAPKC4。在环上有限自动机和二次型有限自动机的可逆性、拉丁阵和置换多项式以及频谱分析待方面,得到了若干新结果。此外,从安全性角度提出了用FAPKC实现基于身份的加密和签名体制的一个改进方案。有关工作激发了国内外学术界的自动机密码的后续研究。