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

Composable information flow verification for service chain based on model checking

作　　者：习宁[1] 马建峰[1] 孙聪[1] 卢笛[1] 张涛[1] 

机构地区：[1]西安电子科技大学计算机学院,陕西西安710071

出　　处：《通信学报》2014年第11期23-31,共9页Journal on Communications

基　　金：国家自然科学基金资助项目(U1135002;61303033);国家科技部重大专项基金资助项目(2011ZX03005-002);航空科学基金资助项目(2013ZC31003);陕西省自然科学基础研究计划基金资助项目(2013JQ8036)~~

摘　　要：提出了一种可组合的服务链信息流安全验证方法。在保证单一组件信息流安全的基础上,给出相邻组件可组合的信息流安全条件和验证算法。实验和仿真结果表明,相比传统模型检测方法,所提的可组合验证算法能够有效减小验证开销,提高验证效率。A composable information verification approach is proposed for the secure service chain composition. Based on the secure service component, the security constraints for the component＇s composibility is specified and the information flow verification algorithms is proposed. Through the experiments and simulation, it shows that the approach can decrease the verification cost effectively and improve the efficiency of the verification.

关 键 词：模型检测 服务链 信息流安全 可组合 

分 类 号：TP393.2[自动化与计算机技术—计算机应用技术]