<< 本 | ホーム | Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language >>

Assertions to Better Specify the Amazon Bug

Web アプリケーションでブラウザの Back ボタンで戻って submit すると画面に見えてるのと実際に送信されるデータが異なる可能性があるからどうにかしたいよね、という論文。ちょっと古いから今もそのまま当てはまるかは不明。論文で書かれてるのは、設計レベルで assert として表示と裏で送るのが同じであることを記述しましょう、ということだけ。実装の話は何もないけど難しいのはむしろ実装だろうと思う。

author="L. Baresi and G. Denaro and L. Mainetti and P. Paolini",
title="{Assertions to Better Specify the Amazon Bug}",
booktitle="SEKE'02",
publisher="ACM Press",
pages="585--592",
year="2002"

http://doi.acm.org/10.1145/568760.568863

タグ : ,



コメント追加 トラックバック送信