2011年9月
フォーマルメソッドによるセキュリティ＆プライバシ
NTT技術ジャーナル
- ,
- ,
- 巻
- 23
- 号
- 9
- 開始ページ
- 22
- 終了ページ
- 25
- 記述言語
- 日本語
- 掲載種別
- 記事・総説・解説・論説等（大学・研究所紀要）
電子商取引・電子政府・電子医療などのサービスを提供するICTシステムから，重要な個人情報やプライバシ情報が漏洩しないことを，フォーマルメソッド（形式手法，数理的技法）を用いて厳密に証明する手法について解説します．