基于模型检测的服务链信息流安全可组合验证方法
习宁,马建峰,孙聪,卢笛,张涛
Composable information flow verification for service chain based on model checking
Ning XI,Jian-feng MA,Cong SUN,Di LU,Tao ZHANG
通信学报 . 2014, (11): 23 -31 .  DOI: 10.11959/j.issn.1000-436x.2014.11.003