電子商取引・電子政府・電子医療などのサービスを提供するICTシステムのハイエンドセキュリティの実現を目指し，私たちはフォーマルメソッド（形式手法，数理的技法）の研究を行なっています．本講演では，特に私たちが考案したプライバシのフォーマルメソッドを紹介いたします．ICTシステムから重要な個人情報やプライバシ情報が漏洩しないことを，どのように厳密に証明するのでしょうか？そもそもプライバシをどのように厳密に定義するのでしょうか？私たちのアプローチをぜひご覧ください．

下記より本講演の動画をご覧頂けます．

• ムービーの閲覧に必要なWindows Media Player™はこちらから入手可能です．
• その他，動画コンテンツのご視聴に関する情報はこちらをご覧下さい．