王剑锋
- 作品数：2 被引量：11H指数：2
- 供职机构：中国电子科技集团第三十研究所更多>>
- 发文基金：国防科技保密通信重点实验室基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 双云安全计算架构被引量：3
- 2012年
- 针对现有安全技术对云计算数据外包保护的不足,提出一个可以应用于不可信商业云环境的数据外包计算和存储双云安全框架,用户通过一个可信任的云(可以是一个私有云或是通过多个安全硬件模块建立的云)来通信,可信的云加密并校验不可信云中存储的数据以及执行的操作。通过分离计算,把可信的云用来处理对时间不敏感的安全设置操作,同时用商业不可信云来处理大量的计算,从而实现安全的云计算数据外包。
- 王强陈剑锋王剑锋
- 关键词：密码协议
- 云计算虚拟环境的形式化安全验证被引量：8
- 2012年
- 云计算是一种新兴的计算、存储资源使用模式,由于具备低成本、高效率等优点,得到了业界的广泛应用,但安全性仍然是云计算推广最大的障碍之一。虚拟化作为云计算的关键技术,其安全水平直接影响云环境的安全性,目前对云计算虚拟环境多采用传统的覆盖式验证方法,无法彻底解决正确性问题。文中通过结合形式化方法中的模型检测技术,经过配置采集、需求分析和性质检测3个阶段对虚拟化安全性质进行高覆盖率验证,提供了一种对云计算环境进行安全评估的可行思路。
- 陈剑锋王强王剑锋
- 关键词：云计算虚拟化形式化方法
