セキュリティ・カードの安全性と論文発表 - あいまいな本日の私 blogおそらく、この話はもう新聞で報道されているので、ここに書いても問題はないだろうと思います（何かありましたら、ご連絡をお願いします）。オランダで、公共交通用電子カードの安全性に重大な欠陥があることを証明した論文について、オランダ政府の国務長官が発表の差し止めを要請したそうです。 オランダ・Radboud 大学（ナイメーヘン）の Bart Jacobs と言えば、"Categorical logic and Type theory" isbn:0444508538 で有名な計算機科学者ですが、最近は情報セキュリティの分野でも活躍しています。彼が率いるナイメーヘンのグループが検証しようとしたのは、オランダ版 Suica こと OV-chip card（公共交通用電子カード）。これは、ロンドン地下鉄のオイスター・カードや香港の地下鉄カードのシステムと本質的には同じで、2007年から実証実験が始まり
