プログラム / 講演・研究展示一覧 /
6月9日 16:00~16:30 フォーマルメソッドによるセキュリティ&プライバシ 協創情報研究部 塚田 恭章

概要

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

講演アーカイブ

下記より本講演の動画をご覧頂けます.
フォーマルメソッドによるセキュリティ&プライバシ
28分24秒
再生する
  • ムービーの閲覧に必要なWindows Media Player™はこちらから入手可能です.
  • その他,動画コンテンツのご視聴に関する情報はこちらをご覧下さい.

講演者