报告题目：An evidence-Based Incremental and Hybrid Security Certification Scheme for Cloud-Based Systems

　　报告人：Marco Anisetti

　　报告时间：2016年7月1日(星期五)下午15:00-16:00

　　报告地点：信息工程学院副203会议室

　　个人简介：

　　Marco Anisetti是一位来自意大利米兰大学的副教授，在2009年获得了意大利米兰大学的计算机科学专业的博士学位。他的研究兴趣是计算智能领域及其应用到复杂的系统和服务的设计。更多的是他研究/调查采用基于卡尔曼滤波器、粗糙集和模糊集理论的先进技术：低级别功能的显示器的管理，先进的图像处理和移动地理定位，以及在高层次的人性化计算，人机交互和环境智能方面的应用。最近，他一直在研究怎么把计算智能技术应用在安全机制，分布式系统领域，云的特别考虑，SOA安全软件/服务认证和大数据的安全保证上面。

　　报告简介：

　　云计算的关键功能之一是对事件和环境的变化和维持服务质量的自动反应的能力。另一个重要的功能是能够提供对实际交货时间的证据支持。保证技术旨在提供的证据表明，一个给定的系统有一些功能性/非功能属性和行为与预期相同。当环境变化和重新配置时，云计算要求云管理操作和事件的具体保证技术提供证据。这样的技术，必须能够处理与云的多层性质以及与不同类型的证据的交易，意在收集不同的方式、不同的工艺和不同的特点（例如检测，监测和可信计算）。例如，测试并不可能总是在在线系统，监测需要的时间和罕见的事件可能不容易评估，虽然可信计算有了很大的保证，但需要硬件辅助系统。在过去的几年中，在保证技术方面，基于认证保证在作为提高云安全和信任的一种手段方面已经受到了很多的关注。本次研讨会将提供一个针对云系统不同类型杂交的证据需要增量安全认证方面的保证方案。所提出的解决方案使得不必要的证书吊销的风险最小化，并尽可能的降低了重新认证活动的工作量。为了达到这个目的，当观察到相关变化时它利用现有的可用证据的证书重新进行验证。

信息学院　
2016年6月30日

编辑：0

终审：0