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

第35卷第 11期 通 信 学 报 Vbl_35 No．11 2014年 11月 JoumalonCommunications November2014 基于模型检测的服务链信息流安全可组合验证方法 习宁，马建峰，孙聪，卢笛，张涛 (西安电子科技大学 计算机学院，陕西 西安 710071) 摘 要：提出了一种可组合的服务链信息流安全验证方法。在保证单一组件信息流安全的基础上，给出相邻组件 可组合的信息流安全条件和验证算法。实验和仿真结果表明，相比传统模型检测方法，所提的可组合验证算法能 够有效减小验证开销，提高验证效率。 关键词：模型检测；服务链；信息流安全；可组合 中图分类号：TP393．2 文献标识码：A 文章编号：1000．436X(2014)11-0023—09 Composableinformatio