Semantics and Program Analysis of Computationally Secure Information Flow

Semantics and Program Analysis of Computationally Secure Information Flow

This paper presents a definition of secure information flow. It is not based on noninterference, but on computational indistinguishability of the secret inputs, when the public outputs are observed. This definition allows cryptographic primitives to be handled. This paper also presents a Denning-sty...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Laud, Peeter
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Applied sciences
Computer science
control theory
systems
Covert Channel
Cryptographic Primitive
Exact sciences and technology
Information systems. Data bases
Language theory and syntactical analysis
Memory organisation. Data processing
Public Output
Secure Information
Security Parameter
Software
Theoretical computing
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This paper presents a definition of secure information flow. It is not based on noninterference, but on computational indistinguishability of the secret inputs, when the public outputs are observed. This definition allows cryptographic primitives to be handled. This paper also presents a Denning-style information-flow analysis for programs that use encryption as a primitive operation. The proof of the correctness of the analysis is sketched.
ISSN:0302-9743
1611-3349
DOI:10.1007/3-540-45309-1_6