<< Proving Thread Termination | ホーム | Refactoring Programs to Secure Information Flows >>

JFlow: Practical Mostly-Static Information Flow Control

Javaの機能を極力削らないようにしながら情報流解析を導入して拡張した言語JFlowの論文。型システムとかの詳細は省かれていて、言語の解説がほとんど。Jifという後継(?)がある。

author="Andrew C.Myers",
title="{JFlow: Practical Mostly-Static Information Flow Control}",
booktitle="POPL'99",
publisher="ACM Press",
pages="228--241",
year="1999"

タグ : ,



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