Guaranteeing Safety of Ubiquitous Services with Feature Interactions

在本研究中，我们研究了一个确保泛在网络服务安全的系统框架。除了单个服务的安全性外，我们还考虑了多个服务之间的功能交互问题。我们的贡献包括：安全的形式化和验证框架，家庭网络服务的特征交互检测，环境特征交互影响模型的定义，服务链检测方法，实际服务和应用的开发。这些成果以22篇论文和44篇口头报告的形式发表。

In this research, we have studied a systematic framework for assuring safety of ubiquitous network services. In addition to the safety of individual services, we also take the feature interaction problem among multiple services into account. Our contributions include ; the formalization and validation framework of the safety, feature interaction detection for home network services, definition of environment feature interactions with the impact model, service chain detection method, development of practical services and applications. These achievements have been published as22papers and44oral presentations.