A type system for observational determinism

Tachio Terauchi*

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

研究成果: Conference contribution

31 被引用数 (Scopus)

抄録

Zdancewic and Myers introduced observational determinism as a scheduler independent notion of security for concurrent programs. This paper proposes a type system for verifying observational determinism. Our type system verifies observational determinism by itself, and does not require the type checked program to be confluent. A polynomial time type inference algorithm is also presented.

本文言語English
ホスト出版物のタイトルProceedings - 21st IEEE Computer Security Foundations Symposium, CSF 2008
ページ287-300
ページ数14
DOI
出版ステータスPublished - 2008 9月 19
外部発表はい
イベント21st IEEE Computer Security Foundations Symposium, CSF 2008 - Pittsburgh, PA, United States
継続期間: 2008 6月 232008 6月 25

出版物シリーズ

名前Proceedings - IEEE Computer Security Foundations Symposium
ISSN(印刷版)1940-1434

Other

Other21st IEEE Computer Security Foundations Symposium, CSF 2008
国/地域United States
CityPittsburgh, PA
Period08/6/2308/6/25

ASJC Scopus subject areas

  • 工学(全般)

フィンガープリント

「A type system for observational determinism」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル