A Type System for Computationally Secure Information Flow
- 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
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.
Unable to display preview. Download preview PDF.