探讨多线程Java程序安全行为模型的静态检查方法

摘要

随着社会科技的发展,当今软件需求程度和扩展性随之提高,多线程的应用之所以越来越广泛,是因为它是软件程序结构化的重要机制.由于多线程关系到程序的安全,故多线程应用程序的安全性也成为了新的研究热点之一.现在出现了许多的新技术和新方法,导致软件的安全性和保密性会令人产生怀疑,为了使软件安全可靠,我们必须使用各种安全技术来检查软件的搭配是否科学合理,使其发挥最大的安全效能.针对多线程java程序,应该由以下几种方法来表示,比如由多线程java程序自动生成安全相关行为模型的方法,又或者静态检查该模型是否满足安全策略的实现等.