基于模型检测的服务链信息流安全可组合验证方法

习宁; 马建峰; 孙聪; 卢笛; 张涛

doi:10.11959/j.issn.1000-436x.2014.11.003

您当前的位置：

首页 >

文章列表页 >

基于模型检测的服务链信息流安全可组合验证方法

网络安全 | 更新时间：2024-06-05

- 基于模型检测的服务链信息流安全可组合验证方法
- Composable information flow verification for service chain based on model checking
- “在信息流安全领域，专家提出了一种可组合的服务链信息流安全验证方法，有效提高验证效率。”
- 通信学报 2014年35卷第11期页码：23-31
- 作者机构：
  
  西安电子科技大学计算机学院，陕西西安 710071
- 作者简介：
  
  [ "习宁（1986-），男，陕西渭南人，博士，西安电子科技大学讲师，主要研究方向为服务计算、信息流安全。" ]
  [ "马建峰（1963-），男，陕西西安人，博士，西安电子科技大学教授、博士生导师，主要研究方向为密码学、无线和移动安全、系统可生存性等。" ]
  [ "孙聪（1982-），男，陕西兴平人，博士，西安电子科技大学副教授，主要研究方向为信息流安全、程序分析与验证。" ]
  [ "卢笛（1983-），男，陕西安康人，西安电子科技大学博士生，主要研究方向为虚拟化技术、存储系统、操作系统安全、虚拟化资源调度。" ]
  [ "张涛（1986-），男，陕西西安人，西安电子科技大学博士生，主要研究方向为服务计算、可信计算、信息安全、社交网络。" ]
- 基金信息：
  
  国家自然基金委员会——广东联合基金重点基金资助项目(U1135002);国家自然科学基金资助项目(61303033);国家科技部重大专项基金资助项目(2011ZX03005-002);航空科学基金资助项目(2013ZC31003);陕西省自然科学基础研究计划基金资助项目(2013JQ8036)
- DOI：10.11959/j.issn.1000-436x.2014.11.003
  中图分类号： TP393.2
- 网络出版日期：2014-11，
  
  纸质出版日期：2014-11-25
- 稿件说明：
移动端阅览
习宁, 马建峰, 孙聪, 等. 基于模型检测的服务链信息流安全可组合验证方法[J]. 通信学报, 2014,35(11):23-31.

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.
习宁, 马建峰, 孙聪, 等. 基于模型检测的服务链信息流安全可组合验证方法[J]. 通信学报, 2014,35(11):23-31. DOI： 10.11959/j.issn.1000-436x.2014.11.003.

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.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

端到端时延上限确定的服务链部署算法

MicroNF：基于微服务的异构网络功能虚拟化框架

基于Q-learning的跨域服务链映射机制

基于程序局部性引导的有界模型检测优化方法

基于时间自动机的物联网网关安全系统的建模及验证

基于模型检测的服务链信息流安全可组合验证方法

Composable information flow verification for service chain based on model checking

DOI：10.11959/j.issn.1000-436x.2014.11.003