Secure Information Flow in a Multi-Threaded Imperative Language Export

@inproceedings{citeulike:1188113, abstract = {Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either high or low security}, address = {New York, NY}, author = {Smith, Geoffrey and Volpano, Dennis}, booktitle = {Conference Record of POPL 98: The 25TH {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Diego, California}, citeulike-article-id = {1188113}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.953}, keywords = {concurrency, information\_flow}, pages = {355--364}, posted-at = {2007-03-26 13:59:26}, priority = {2}, title = {Secure Information Flow in a Multi-Threaded Imperative Language}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.953}, year = {1998} }

TY - CONF ID - citeulike:1188113 L3 - citeulike-article-id:1188113 N2 - Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either high or low security AD - New York, NY EP - 364 TI - Secure Information Flow in a Multi-Threaded Imperative Language T2 - Conference Record of POPL 98: The 25TH {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Diego, California SP - 355 KW - concurrency KW - information_flow AU - Smith, Geoffrey AU - Volpano, Dennis PY - 1998/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.953 ER -