Composable information flow verification for service chain based on model checking
Ning XI,Jian-feng MA,Cong SUN,Di LU,Tao ZHANG
Journal on Communications . 2014, (11): 23 -31 .  DOI: 10.11959/j.issn.1000-436x.2014.11.003

Copyright of website © 2021 Journal on Communications
Address: F2, Beiyang Chenguang Building, Shunbatiao No.1 Courtyard, Fengtai District, Beijing, China   Post: 100079
Tel: 010-53933889、53878169、53859522、53878236   Email: xuebao@ptpress.com.cn; txxb@bjxintong.com.cn