%0 Journal Article
%T 基于模型检测的服务链信息流安全可组合验证方法
%A 习宁
%A 马建峰
%A 孙聪
%A 卢笛
%A 张涛
%J 通信学报
%D 2014
%X ？提出了一种可组合的服务链信息流安全验证方法。在保证单一组件信息流安全的基础上，给出相邻组件可组合的信息流安全条件和验证算法。实验和仿真结果表明，相比传统模型检测方法，所提的可组合验证算法能够有效减小验证开销，提高验证效率。
%U http://www.joconline.com.cn/CN/abstract/abstract149181.shtml