基于模型检测的服务链信息流安全可组合验证方法
习 宁，马建峰，孙 聪，卢 笛，张 涛
Composable information flow verification for service chain based on model checking
通信学报 . 2014, (11): 3 -22 .