基于模型检测的服务链信息流安全可组合验证方法

？提出了一种可组合的服务链信息流安全验证方法。在保证单一组件信息流安全的基础上，给出相邻组件可组合的信息流安全条件和验证算法。实验和仿真结果表明，相比传统模型检测方法，所提的可组合验证算法能够有效减小验证开销，提高验证效率。