Composable information flow verification for service chain based on model checking

Composable information flow verification for service chain based on model checking

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 s...

Full description

Saved in:
Bibliographic Details
Main Authors: Ning XI, Jian-feng MA, Cong SUN, Di LU, Tao ZHANG
Format: Article
Language:zho
Published: Editorial Department of Journal on Communications 2014-11-01
Series:Tongxin xuebao
Subjects:
model checking
service chain
information flow security
composibility
Online Access:http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2014.11.003/
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

Similar Items