2009年7月3日(金)に法政大学 小金井キャンパスにて講演会を開催いたします。情報科学部主催の公開講演会ですので、学内の関係者だけでなく学外の皆様も是非ご参加ください。Matthew Roughan氏は2004年2月よりアデレード大学応用数学学部で教鞭を執っています。研究分野であるネットワークトラフィック測定手法の開発、計測器の導入、分析、および計算モデルに興味を持っています。教鞭を執る以前は4年間AT&Tで、もう4年間はオーストラリアのエリクソンに勤めていました。それ以前のRoughan博士はオーストラリアのアデレードにあるCooperative Research Centre for Sensor Signal and Information Processing（CSSIP）でionogramsの分析から地雷の探索の測距などの各種プロジェクトで研究活動を行っていました。Roughan博士は1994年にアデレード大学で博士号を取得し、同学部に指導者として戻ってきました。
- 日時: 2009年7月3日(金)
- 場所: 法政大学 小金井キャンパス 西館W103教室
- 参加費: 無料
講演
Algebraic Approaches to Protocol Design
- 講師: Professor Matthew Roughan, the University of Adelaide
- 時間: 15:30 – 16:30
Abstract
The Internet is fundamentally distributed. It is a network of more than 30,000 autonomously administered networks. They are highly heterogeneous, but still must connect together in order for the Internet to be the world-spanning network of today. The glue that connects them is a routing protocol called BGP (the Border Gateway Protocol). BGP has been in place for more than a decade, and for almost this long it has been known to exhibit a number of bad properties, for instance, unstable oscillations. Routing oscillation is highly detrimental. It can decrease performance and lead to a high level of update churn placing unnecessary workload on routers. So why hasn’t it been fixed if the problem in this critical protocol has been known for so long?
BGP’s behavior is hard to describe, and harder to predict. In recent years, though, new techniques based on an algebraic description of routing protocols — sometimes called metarouting — have appeared. The beauty of these methods is that they allow us to construct mathematical proofs of the properties of very complex routing protocols such as BGP, and from these design modifications to existing protocols to fix their problems.
For instance, iBGP — the routing protocol used to distribute routes inside a single Autonomous System — has also been shown to oscillate despite the fact that iBGP is configured by a single provider according to apparently straight forward rules. We show that the algebraic approach to modelling routing protocols provides a simple, flexible, and effective fix to the problem with negligible cost.
Bio
Matthew Roughan joined the School of Applied Mathematics at the University of Adelaide in February 2004, where he is interested in the area of design, and installation of Internet measurement equipment, and the analysis and modeling of Internet measurement data. He previously worked in this capacity for 4 years for AT&T, and for Ericsson in Australia (via the Universities of Melbourne, and the Royal Melbourne Institute for Technology) for another 4. Prior to this, Dr Roughan worked at the Cooperative Research Centre for Sensor Signal and Information Processing (CSSIP), in Adelaide, Australia, on diverse projects, ranging from the analysis of ionograms, to land-mine detection. Dr Roughan gained his PhD from the University of Adelaide in 1994, in Applied Mathematics, and has now returned to the same department to teach.