基于扩展下推自动机的Java程序安全相关行为模型自动生成

随着Java应用程序的迅速发展，程序代码安全问题也逐渐引起了人们的重视。虽然各个研究领域都提出很多的安全控制方法，但都存在着非常大的局限性，需要完善。本文主要将扩展下自动机作为核心研究对象，进行了详细分析，希望可以给相关研究人员提供参考。