English page

ポルトガル ブラガにて
河辺 義信(かわべ よしのぶ)
こんにちは!
コンピュータプログラムの形式モデリングや検証に興味を持っています.
とくに最近は,プロトコルのセキュリティ検証に興味があります.


研究分野

どうしたら正しく動くプログラムを作れるのだろう?
この通信プロトコルは本当に安全なんだろうか? どうして安全と言えるのだろう?

こうした疑問に答えるのが,さまざまなソフトウェアシステムの正しさを証明する手法,フォーマルメソッド(形式手法)です. たとえば,セキュリティプロトコルから個人情報漏洩(=バグの一種とみなせます)がないことを,フォーマルメソッドを使って証明することができます.

私の研究は セキュリティプロトコル・Webサービス・分散システム の形式検証に関するもので,これまで次のような研究テーマに関わってきました:

最近の業績


連絡先住所

〒470-0392 愛知県豊田市八草町八千草1247
愛知工業大学 情報科学部 情報科学科

Email: kawabe [at] aitech.ac.jp


その他 (順次更新予定)


Updated: September 1, 2010