Composable information flow verification for service chain based on model checking

您当前的位置：

首页 >

文章列表页 >

network security | 更新时间：2024-06-05

- Composable information flow verification for service chain based on model checking
- Journal on Communications Vol. 35, Issue 11, Pages: 23-31(2014)
- 作者机构：
  
  西安电子科技大学计算机学院，陕西西安 710071
- 作者简介：
- 基金信息：
  
  The Key Program of NSFC-Guangdong Union Foundation(U1135002);The National Natural Science Foundation of China(61303033);The Major National Science and Technology Program(2011ZX03005-002);The Aviation Science Foundation of China(2013ZC31003);The Natural Science Basis Research Plan in Shaanxi Province of China(2013JQ8036)
- DOI：10.11959/j.issn.1000-436x.2014.11.003
  CLC： TP393.2
- Online First：2014-11，
  
  Published：25 November 2014
- 稿件说明：
移动端阅览
Ning XI, Jian-feng MA, Cong SUN, et al. Composable information flow verification for service chain based on model checking[J]. Journal on Communications, 2014, 35(11): 23-31.
DOI：

Ning XI, Jian-feng MA, Cong SUN, et al. Composable information flow verification for service chain based on model checking[J]. Journal on Communications, 2014, 35(11): 23-31. DOI： 10.11959/j.issn.1000-436x.2014.11.003.

Views

977

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Service chain deployment algorithms for deterministic end-to-end delay upper bound

MicroNF:a microservice-based hybrid framework for NFV

Cross-domain service chain mapping mechanism based on Q-learning

Locality-guided based optimization method for bounded model checker

Modeling and verifying based on timed automata of Internet of things gateway security system

Related Author

F.Richard Yu

Shuo WANG

Jiao ZHANG

Ze’nan WANG

Tao HUANG

Zhilong ZHENG

Jun BI

Chen SUN

Related Institution

Purple Mountain Laboratories

State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications

Carleton University

Institute for Network Sciences and Cyberspace, Tsinghua University

School of Information and Technology,Tsinghua University

AI导读

AI问答

⁰