A type system for observational determinism

Research output: Chapter in Book/Report/Conference proceedingConference contribution

24 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - 21st IEEE Computer Security Foundations Symposium, CSF 2008
Pages287-300
Number of pages14
DOIs
Publication statusPublished - 2008
Externally publishedYes
Event21st IEEE Computer Security Foundations Symposium, CSF 2008 - Pittsburgh, PA, United States
Duration: 2008 Jun 232008 Jun 25

Other

Other21st IEEE Computer Security Foundations Symposium, CSF 2008
CountryUnited States
CityPittsburgh, PA
Period08/6/2308/6/25

Fingerprint

Polynomials

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Terauchi, T. (2008). A type system for observational determinism. In Proceedings - 21st IEEE Computer Security Foundations Symposium, CSF 2008 (pp. 287-300). [4556693] https://doi.org/10.1109/CSF.2008.9

A type system for observational determinism. / Terauchi, Tachio.

Proceedings - 21st IEEE Computer Security Foundations Symposium, CSF 2008. 2008. p. 287-300 4556693.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Terauchi, T 2008, A type system for observational determinism. in Proceedings - 21st IEEE Computer Security Foundations Symposium, CSF 2008., 4556693, pp. 287-300, 21st IEEE Computer Security Foundations Symposium, CSF 2008, Pittsburgh, PA, United States, 08/6/23. https://doi.org/10.1109/CSF.2008.9
Terauchi T. A type system for observational determinism. In Proceedings - 21st IEEE Computer Security Foundations Symposium, CSF 2008. 2008. p. 287-300. 4556693 https://doi.org/10.1109/CSF.2008.9
Terauchi, Tachio. / A type system for observational determinism. Proceedings - 21st IEEE Computer Security Foundations Symposium, CSF 2008. 2008. pp. 287-300
@inproceedings{874430eb7a934bf3ac96a94fdea23845,
title = "A type system for observational determinism",
abstract = "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.",
author = "Tachio Terauchi",
year = "2008",
doi = "10.1109/CSF.2008.9",
language = "English",
isbn = "9780769531823",
pages = "287--300",
booktitle = "Proceedings - 21st IEEE Computer Security Foundations Symposium, CSF 2008",

}

TY - GEN

T1 - A type system for observational determinism

AU - Terauchi, Tachio

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=51749098556&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=51749098556&partnerID=8YFLogxK

U2 - 10.1109/CSF.2008.9

DO - 10.1109/CSF.2008.9

M3 - Conference contribution

AN - SCOPUS:51749098556

SN - 9780769531823

SP - 287

EP - 300

BT - Proceedings - 21st IEEE Computer Security Foundations Symposium, CSF 2008

ER -