Secure information flow as a safety problem

Tachio Terauchi*, Alex Aiken

*この研究の対応する著者

研究成果: Conference contribution

175 被引用数 (Scopus)

抄録

The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation. Barthe, D'Argenio, and Rezk coined the term "self-composition" to describe this reduction. This paper generalizes the self-compositional approach with a form of information downgrading recently proposed by Li and Zdancewic. We also identify a problem with applying the self-compositional approach in practice, and we present a solution to this problem that makes use of more traditional type-based approaches. The result is a framework that combines the best of both worlds, i.e., better than traditional type-based approaches and better than the self-compositional approach.

本文言語English
ホスト出版物のタイトルLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ページ352-367
ページ数16
DOI
出版ステータスPublished - 2005
外部発表はい
イベント12th International Symposium on Static Analysis, SAS 2005 - London, United Kingdom
継続期間: 2005 9月 72005 9月 9

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
3672 LNCS
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

Other

Other12th International Symposium on Static Analysis, SAS 2005
国/地域United Kingdom
CityLondon
Period05/9/705/9/9

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「Secure information flow as a safety problem」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル