A Type System for Computationally Secure Information Flow

  • Peeter Laud
  • Varmo Vene
Conference paper

DOI: 10.1007/11537311_32

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3623)
Cite this paper as:
Laud P., Vene V. (2005) A Type System for Computationally Secure Information Flow. In: Liśkiewicz M., Reischuk R. (eds) Fundamentals of Computation Theory. FCT 2005. Lecture Notes in Computer Science, vol 3623. Springer, Berlin, Heidelberg

Abstract

The paper presents a novel type system for checking the security of information flow in programs containing operations of symmetric encryption. The type system is correct with respect to the complexity-theoretic security definitions of the encryption primitive.

Topics

Semantics cryptography 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Peeter Laud
    • 1
  • Varmo Vene
    • 1
  1. 1.Tartu University 

Personalised recommendations