Language-Based Information-Flow Security (2003)
Cached
Download Links
by
Andrei Sabelfeld
,
Andrew C. Myers
| Venue: | IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS |
| Citations: | 458 - 37 self |
BibTeX
@ARTICLE{Sabelfeld03language-basedinformation-flow,
author = {Andrei Sabelfeld and Andrew C. Myers},
title = { Language-Based Information-Flow Security},
journal = {IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS},
year = {2003},
volume = {21},
number = {1},
pages = {2003}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Current standard security practices do not provide substantial assurance that the end-to-end behavior of a computing system satisfies important security policies such as confidentiality. An end-to-end confidentiality policy might assert that secret input data cannot be inferred by an attacker through the attacker's observations of system output; this policy regulates information flow.
