研究室紹介 LABORATORY

数理論理学で解き明かす、情報システムの安全と信頼。
理論と実践で、セキュリティの裏側を覗いてみましょう。

インターネット上で電⼦商取引や電⼦政府などのサービスを安⼼して利⽤するためには、セキュリティやプライバシの確保が不可⽋です。そのためには、これらのサービスを⽀える情報システムが、セキュリティやプライバシに関する要件を正しく満たしているかを厳密に検証する技術が必要です。私たちの研究室では、数理論理学を応⽤したフォーマルメソッド（形式⼿法）を活⽤し、情報システムのセキュリティやプライバシを厳密に検証する技術の研究を⾏っています。また、セキュリティやプライバシと同様に重要なトラスト（信頼）についても、数理的なアプローチで分析する研究に取り組んでいます。私たちと⼀緒に、新しい知の地平を切り拓きませんか？