通信学报
• 网络安全 • 上一篇 下一篇
习 宁,马建峰,孙 聪,卢 笛,张 涛
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要: 提出了一种可组合的服务链信息流安全验证方法。在保证单一组件信息流安全的基础上,给出相邻组件可组合的信息流安全条件和验证算法。实验和仿真结果表明,相比传统模型检测方法,所提的可组合验证算法能够有效减小验证开销,提高验证效率。
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.
习 宁,马建峰,孙 聪,卢 笛,张 涛. 基于模型检测的服务链信息流安全可组合验证方法[J]. 通信学报.
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.infocomm-journal.com/txxb/CN/
https://www.infocomm-journal.com/txxb/CN/Y2014/V35/I11/3