Language-Based Information-Flow Security

DMCA

Language-Based Information-Flow Security (2003)

Cached

Download Links

by Andrei Sabelfeld , Andrew C. Myers

Venue:	IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS
Citations:	810 - 56 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}
}

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.

Keyphrases

language-based information-flow security substantial assurance end-to-end confidentiality policy secret input data cannot information flow current standard security practice system output end-to-end behavior

DMCA