改良taintモデルに基づくオブジェクト指向言語を用いたアプリケーション開発

摘要

Although the taint model and sandbox model are proposed as a security model of a programming lan-guage, we have proposed the safefor model. Unlike other models, the safefor model can guarantee the validity of the data given to an object. In order to show the usefulness of this model, we take up the bulletin board system on a web as an example, and we explain how it functions.%プログラミング言語のセキュリティモデルとして，taintモデルやsandboxモデルが提案されている，我々はsafeforモデルを提案している．safeforモデルは他のモデルと異なり，オブジェクトに与えデータの妥当性を保証することが出来る．このモデルの有用性を示すため，ウェブ上の電子掲示板システムを例とし取り上げ，どのように機能するのかを説明する．