《有限自动机及在密码学中的应用》主要研究有限自动机的可逆性理论及其在密码学上的应用。此外，也讨论自治有限自动机和拉丁阵，它们与有限自动机单钥密码的标准形有关。有限自动机是被认为是密码的自然模型。《有限自动机及在密码学中的应用》作者提出并发展了RaRb变换方法，用它彻底解决了有限域上(拟)线性有限自动机的结构问题。与经典的线性系统“传输函数方法”不同，RaRb变换方法可推广到非线性有限自动机；大量弱可逆有限自动机及其弱逆可用它产生，这就导致基于有限自动机的公开钥密码(简记为FAPKC)的提出。《有限自动机及在密码学中的应用》可用作计算机科学和数学专业高年级和研究生课程的参考书。