本研究では,ユビキタスネットワークで提供されるサービスの安全性を保証するための体系的な枠組みの技術開発を行った.また,個々の単体サービスの安全性のみならず,複数のサービス間で発生するサービス競合問題を考慮に入れた手法の開発を目指した.研究成果として,ユビキタスサービスの安全性定式化・検証フレームワーク,ホームネットワークを対象としたサービス競合検出手法,環境インパクトを用いた環境競合の定式化,サービス連鎖検出手法,安全性を考慮したユビキタスサービス・アプリケーションの開発等がが得られた.これらの成果を22件の論文, 44件の学会発表にて公表した.