通信学报

• 网络安全 • 上一篇    下一篇

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

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

  1. 西安电子科技大学 计算机学院,陕西 西安 710071
  • 出版日期:2014-11-25 发布日期:2014-11-15
  • 基金资助:
    国家自然科学基金资助项目(U1135002, 61303033);国家科技部重大专项基金资助项目(2011ZX03005-002);航空科学基金资助项目(2013ZC31003);陕西省自然科学基础研究计划基金资助项目(2013JQ8036)

Composable information flow verification for service chain based on model checking

  • Online:2014-11-25 Published:2014-11-15

摘要: 提出了一种可组合的服务链信息流安全验证方法。在保证单一组件信息流安全的基础上,给出相邻组件可组合的信息流安全条件和验证算法。实验和仿真结果表明,相比传统模型检测方法,所提的可组合验证算法能够有效减小验证开销,提高验证效率。

Abstract: 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 simulation, it shows that the approach can decrease the verification cost effectively and improve the efficiency of the verification.

No Suggested Reading articles found!