情報セキュリティの聖杯 - 漸進的セキュリティの達成

漸進的な情報フロー制御言語は、静的および動的な手法を組み合わせて、セキュリティ漏洩を防ぐことができる。本論文では、漸進的保証と情報セキュリティの両立を実現する新しい言語設計を提案する。